RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Software Model Checking via Large-Block Encoding
2009-01-01 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
Simulation modelling for the analysis and the optimal design of SPAD detectors for time-resolved fluorescence measurements
2009-01-01 Repich, Marina; Stoppa, David; Pancheri, Lucio; Dalla Betta, Gian Franco
Supporting Ontology-based Semantic Annotation of Business Processes with Automated Suggestions
2009-01-01 Di Francescomarino, Chiara; Tonella, Paolo
Tactile Sensing Arrays for Humanoid Robots using Piezo-Polymer-FET Devices.
2008-01-01 Dahiya, Ravinder Singh; Maurizio, Valle; Giorgio, Metta; Lorenzelli, Leandro
Evaluating Knowledge-Based Approaches to the Multilingual Extension of a Temporal Expression Normalizer
2006-01-01 Negri, Matteo; E., Saquete; P., Martinez Barco; R., Munoz
From Collaborative Filtering to Implicit Culture
2000-01-01 Blanzieri, Enrico; Paolo, Giorgini
MOS Junction based Nanostructures by Thermal Oxidation of Silicon Wires for Hydrogen Detection
2003-01-01 Tibuzzi, Arianna; Decarli, Massimiliano; Soncini, Giovanni; C., Di Natale; A., D'Amico; Margesin, Benno; Zen, Mario
Improving User Modelling with Conten-Based Techniques
2001-01-01 Magnini, Bernardo; Strapparava, Carlo
Towards Unsupervised Recognition of Dialogue Acts
2009-01-01 Novielli, Nicole; Strapparava, Carlo
Microphysical Characterization and Residual Stress Analysis of Thin Polymide Membranes on GaAs Substrate, Supporto for Micromachined Structures
2000-01-01 Petrini, Ioana Elena; A., Muller; S., Iordanescu; D., Vasilache; G., Constantinidis; Giacomozzi, Flavio; C., Anton
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Software Model Checking via Large-Block Encoding | 1-gen-2009 | Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto | |
| Simulation modelling for the analysis and the optimal design of SPAD detectors for time-resolved fluorescence measurements | 1-gen-2009 | Repich, Marina; Stoppa, David; Pancheri, Lucio; Dalla Betta, Gian Franco | |
| Supporting Ontology-based Semantic Annotation of Business Processes with Automated Suggestions | 1-gen-2009 | Di Francescomarino, Chiara; Tonella, Paolo | |
| Tactile Sensing Arrays for Humanoid Robots using Piezo-Polymer-FET Devices. | 1-gen-2008 | Dahiya, Ravinder Singh; Maurizio, Valle; Giorgio, Metta; Lorenzelli, Leandro | |
| Evaluating Knowledge-Based Approaches to the Multilingual Extension of a Temporal Expression Normalizer | 1-gen-2006 | Negri, Matteo; E., Saquete; P., Martinez Barco; R., Munoz | |
| From Collaborative Filtering to Implicit Culture | 1-gen-2000 | Blanzieri, Enrico; Paolo, Giorgini | |
| MOS Junction based Nanostructures by Thermal Oxidation of Silicon Wires for Hydrogen Detection | 1-gen-2003 | Tibuzzi, Arianna; Decarli, Massimiliano; Soncini, Giovanni; C., Di Natale; A., D'Amico; Margesin, Benno; Zen, Mario | |
| Improving User Modelling with Conten-Based Techniques | 1-gen-2001 | Magnini, Bernardo; Strapparava, Carlo | |
| Towards Unsupervised Recognition of Dialogue Acts | 1-gen-2009 | Novielli, Nicole; Strapparava, Carlo | |
| Microphysical Characterization and Residual Stress Analysis of Thin Polymide Membranes on GaAs Substrate, Supporto for Micromachined Structures | 1-gen-2000 | Petrini, Ioana Elena; A., Muller; S., Iordanescu; D., Vasilache; G., Constantinidis; Giacomozzi, Flavio; C., Anton |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 2446
- 4 Contributo in Atti di Convegno ... 2309
- 4 Contributo in Atti di Convegno ... 88
- 4 Contributo in Atti di Convegno ... 49
Data di pubblicazione
- 2009 399
- 2008 339
- 2007 265
- 2006 260
- 2005 249
- 2004 261
- 2003 200
- 2002 205
- 2001 136
- 2000 132
Editore
- IEEE 215
- Springer 150
- ACM 49
- ACL 36
- IEEE Computer Society 28
- CEUR-WS.org 20
- Springer Verlag 20
- ISCA 18
- AAAI Press 15
- IOS Press 15
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 16
- TECHNOLOGY AND HEALTH CARE 7
- IEEE ENGINEERING IN MEDICINE AND ... 4
- JOURNAL OF PHYSICS. CONFERENCE SE... 3
- PHYSICA. B, CONDENSED MATTER 3
- PROCEEDINGS OF SPIE, THE INTERNAT... 3
- EUROPEAN BIOPHYSICS JOURNAL WITH ... 2
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- MATERIALS RESEARCH SOCIETY SYMPOS... 2
- SENSORS AND ACTUATORS. A, PHYSICAL 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 8
- LECTURE NOTES OF THE INSTITUTE FO... 2
- CEUR WORKSHOP PROCEEDINGS 1
- I LIBRI DI VIELLA 1
Keyword
- NLP 35
- Content Processing 33
- automatic speech recognition 29
- silicon radiation detectors 26
- infrastructure 20
- BIOSUPERFICI 19
- model checking 18
- agent-oriented software engineering 16
- semantic Web 15
- planning 13
Lingua
- eng 1977
- ita 77
- ger 12
- fre 3
- spa 3
- enm 2
Accesso al fulltext
- no fulltext 2422
- reserved 17
- restricted 4
- open 3