IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7939] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.021 a 6.040 di 7.939
Titolo Data di pubblicazione Autore(i) File
Coping with out-of-vocabulary words: open versus huge vocabulary ASR 1-gen-2009 Gerosa, Matteo; Federico, Marcello
New Features for FrameNet - WordNet Mapping 1-gen-2009 Tonelli, Sara; Pighin, Daniele
Efficient Linearization of Tree Kernel Functions 1-gen-2009 Pighin, Daniele; Alessandro, Moschitti
Experimentally Validated and Automatically Generated Multi-Energy Domain Coupled Model of a RF-MEMS Switch 1-gen-2009 M., Niessner; G., Schrag; Iannacci, Jacopo; G., Wachutka
A MEMS Reconfigurable Quad-Band Class-E Power Amplifier for GSM Standard 1-gen-2009 L., Larcher; R., Brama; M., Ganzerli; Iannacci, Jacopo; M., Bedani; A., Gnudi
Solving the Wake-Up Scattering Problem Optimally 1-gen-2009 Luigi, Palopoli; Roberto, Passerone; Murphy, Amy Lynn; Picco, Gian Pietro; Alessandro, Giusti
MVSink: Incrementally Building In-Network Aggregation Trees 1-gen-2009 Leiria Fernandes, Leonardo; Murphy, Amy Lynn
Monitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment 1-gen-2009 Ceriotti, Matteo; Luca, Mottola; Murphy, Amy Lynn; Picco, Gian Pietro; Stefan, Guna; Michele, Corrà; Matteo, Pozzi; Daniele, Zonta; Paolo, Zanon
Introducing an adaptive MAC layer to support Quality of Service in WSN 1-gen-2008 Ceriotti, Matteo; Murphy, Amy Lynn
A Teamwork-Based Approach to Programming Fundamentals with Scheme, Smalltalk & Java 1-gen-2008 Michele, Lanza; Murphy, Amy Lynn; Romain, Robbes; Mircea, Lungu; Paolo, Bonzini; Marco, D`ambros; Richard, Wettel
Data Sharing vs. Message Passing: Synergy or Incompatibility? An Implementation-Driven Case Study 1-gen-2008 Ceriotti, Matteo; Murphy, Amy Lynn; Picco, Gian Pietro
Balancing Energy Expenditure in WSNs through Reinforcement Learning: A Study 1-gen-2008 Anna, Förster; Murphy, Amy Lynn
Failure-Tolerant Overlay Trees for Large-Scale Dynamic Networks 1-gen-2008 Davide, Frey; Murphy, Amy Lynn
On Board Model Checking for Space Applications 1-gen-2008 Cimatti, Alessandro; Andrea, Guiotto; Roveri, Marco
An Efficient Implementation of Reinforcement Learning Based Routing on Real WSN Hardware 1-gen-2008 Anna, Förster; Murphy, Amy Lynn; Jochen H., Schiller; Kirsten, Terfloth
On-Board Autonomy via Symbolic Model Based Reasoning 1-gen-2008 Bozzano, Marco; Cimatti, Alessandro; Andrea, Guiotto; Andrea, Martelli; Roveri, Marco; Tchaltsev, Andrei; Yuri, Yushtein
Loop Summarization Using Abstract Transformers 1-gen-2008 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
From Informal Requirements to Property-Driven Formal Validation 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Object Models with Temporal Constraints 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Towards a Notion of Unsatisfiable Cores for LTL 1-gen-2009 Schuppan, Viktor
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.021 a 6.040 di 7.939
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7938
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261562
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE229
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6441
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6824
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1