IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.181 a 6.200 di 7.941
Titolo Data di pubblicazione Autore(i) File
Low temperature mechanical dissipation measurements of silicon and silicon carbide as candidate material for DUAL detector 1-gen-2008 Michele, Bignotto; Bonaldi, Michele; Massimo, Cerdonio; Livia, Conti; G., de Paoli; Ferrario, Lorenza; Nicola, Liguori; Antonio, Maraner; Serra, Enrico; Luca, Taffarello; Jean Pierre, Zendri
The EU FP7 IP Project POCEMON: Point-Of-Care MONitoring and Diagnostics for Autoimmune Diseases 1-gen-2008 Adami, Andrea; Decarli, Massimiliano; Lorenzelli, Leandro; Fanis, Kalatzis; Fabio, Macciardi; Heimo, Gruessinger; Kurt, Schicho
Semantic Annotation for Web Service Processes 1-gen-2008 I., Di Pietro; Francesco, Pagliarecci; Pistore, Marco; Luca, Spalazzi; Traverso, Paolo
Autonomous and Adaptive Web Services 1-gen-2007 Jana, Koehler; Pistore, Marco; Amit P., Sheth; Traverso, Paolo; Martin, Wirsig
Development and characterisation of a multianalyte sensing platform 1-gen-2008 Adami, Andrea; Collini, Cristian; Lorenzelli, Leandro; Francesco, Verlato; Patrick, Bouvier; Maglione, Alfredo
Modeling Clinical Protocols using Semantic MediaWiki: the Case of the Oncocure Project 1-gen-2008 Eccher, Claudio; Antonella, Ferro; Andreas, Seyfang; Silvia, Miksch
A Cr-doped WO3 sensor for chromatographic systems in wine quality applications 1-gen-2008 Adami, Andrea; Lorenzelli, Leandro; Dominique, Presicce; Malfatti, Mattia; Guarnieri, Vittorio; Luca, Francioso; Pietro, Siciliano; G., Agnusdei; Zen, Mario
MRG: un sistema di ragionamento distribuito per applicazioni complesse 1-gen-1992 Giunchiglia, Fausto; Cimatti, Alessandro; Sandro, Dalbosco; Traverso, Paolo; Luca, Spalazzi
A planning language and a semantics for real world autonomous agents 1-gen-1993 Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
Merging Planning and Verification Techniques for `Safe Planning` in Space Robotics 1-gen-2001 Carlucci Aiello, Luigia; Amedeo, Cesta; Enrico, Giunchiglia; Traverso, Paolo
A three level architecture for the modular specification of knowledge and reasoning strategies 1-gen-1994 Mauro Di, Manzo; Enrico, Giunchiglia; Traverso, Paolo
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 1-gen-1995 Traverso, Paolo; Luca, Spalazzi; Giunchiglia, Fausto
Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Interactive Autonomy for Space Applications 1-gen-2000 Amedeo, Cesta; Enrico, Giunchiglia; Traverso, Paolo
User-centered Design of a PHR: Traditional Web Forms vs. Wizard Forms 1-gen-2008 Purin, Barbara; Ricci, Emiliano
Multi-content systems as a specification framework for complex reasoning systems 1-gen-1993 Enrico, Giunchiglia; Traverso, Paolo; Giunchiglia, Fausto
First steps towards provably correct system synthesis of system code 1-gen-1994 Giunchiglia, Fausto; Armando, Alessandro; Cimatti, Alessandro; Traverso, Paolo
Plan formation and execution in a uniform architecture of declarative metatheories 1-gen-1990 Giunchiglia, Fausto; Traverso, Paolo
Tactics: extending the notion of plan 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.181 a 6.200 di 7.941
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 ...7940
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Negri, Matteo204
  • Margesin, Benno203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20271564
  • 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 SCIENCE230
  • 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
  • eng6443
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6826
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1