Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.021 a 7.040 di 7.942
QueloDB: a Knowledge Based Visual Query System
2000-01-01 Bresciani, Paolo; Nori, Michele; N., Pedot
Using wrapper agents to answer queries in distributed information systems
2000-01-01 Serafini, Luciano; Ghidini, Chiara
Smart VLSI opto-sensors developments at the Istituto per la Ricerca Scientifica e Tecnologica
1999-01-01 Gonzo, Lorenzo; Simoni, Andrea; Gottardi, Massimo; D., Maschera; Beraldin, Jean Angelo
Sistema di Dialogo ad Iniziativa Mista su Linea Telefonica
1999-01-01 Falavigna, Giuseppe Daniele; Gretter, Roberto; Orlandi, Marco; Sandrini, Vanessa
Updating Mental States from Informative Communication
2000-01-01 A. F., Dragoni; Paolo, Giorgini; Serafini, Luciano
Study of the discharge gas trapping during thin film growth
1999-01-01 Anderle, Mariano
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study
1999-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Some results on the development of a hands-free speech recognizer for car-environment
1999-01-01 Matassoni, Marco; Omologo, Maurizio; Cristoforetti, Luca; Giuliani, Diego; Svaizer, Piergiorgio; Trentin, Edmondo; E., Zovato
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm
1999-01-01 A., Cesta; P., Riccucci; M., Daniele; Traverso, Paolo; E., Giunchiglia; M., Piaggio; M., Shaerf
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; A., Coglio; Giunchiglia, Fausto
Robust HMM training and adaptation in hands-free speech recognition
1999-01-01 Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio
Test Management Automation: Lessons Learned from a Process Improvement Experiment
2000-01-01 G., La Commare; G., Giraudo; Tonella, Paolo
Evaluating the FIPA Standards and Its Role in Achieving Cooperation in Multi-agent Systems
2000-01-01 P., Charlton; Cattoni, Roldano; Potrich, Alessandra; E., Mamdani
Planning as Model Checking
2000-01-01 Giunchiglia, Fausto; Traverso, Paolo
Noninvasive assessment of baroreflex sensitivity in post-MI patients by an open loop model of RR-systolic arterial pressure interactions
1999-01-01 Faes, Luca; Nollo, Giandomenico; Amanda, Porta; Ravelli, Flavia
Advances in Trace Metal Contaminant Analysis by Laser-SNMS
1999-01-01 L., Moro; Lazzeri, Paolo; Wu K., Jen
Adaptation-Dependent Retrieval Problem: A Formal Definition
1999-01-01 Avesani, Paolo; Blanzieri, Enrico
Flexible Mixed Initiative Dialogue over the Telephone Network
1999-01-01 Falavigna, Giuseppe Daniele; Gretter, Roberto
Finite State Verification for the Asynchronous pi-Calculus
1999-01-01 U., Montanari; Pistore, Marco
Low-Power Silicon Microheaters for Gas Sensors
1999-01-01 Sebastiano, Brida; Giacomozzi, Flavio; D., Giusti; Guarnieri, Vittorio; Margesin, Benno; Zen, Mario
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| QueloDB: a Knowledge Based Visual Query System | 1-gen-2000 | Bresciani, Paolo; Nori, Michele; N., Pedot | |
| Using wrapper agents to answer queries in distributed information systems | 1-gen-2000 | Serafini, Luciano; Ghidini, Chiara | |
| Smart VLSI opto-sensors developments at the Istituto per la Ricerca Scientifica e Tecnologica | 1-gen-1999 | Gonzo, Lorenzo; Simoni, Andrea; Gottardi, Massimo; D., Maschera; Beraldin, Jean Angelo | |
| Sistema di Dialogo ad Iniziativa Mista su Linea Telefonica | 1-gen-1999 | Falavigna, Giuseppe Daniele; Gretter, Roberto; Orlandi, Marco; Sandrini, Vanessa | |
| Updating Mental States from Informative Communication | 1-gen-2000 | A. F., Dragoni; Paolo, Giorgini; Serafini, Luciano | |
| Study of the discharge gas trapping during thin film growth | 1-gen-1999 | Anderle, Mariano | |
| Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study | 1-gen-1999 | Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
| Some results on the development of a hands-free speech recognizer for car-environment | 1-gen-1999 | Matassoni, Marco; Omologo, Maurizio; Cristoforetti, Luca; Giuliani, Diego; Svaizer, Piergiorgio; Trentin, Edmondo; E., Zovato | |
| JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm | 1-gen-1999 | A., Cesta; P., Riccucci; M., Daniele; Traverso, Paolo; E., Giunchiglia; M., Piaggio; M., Shaerf | |
| The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; A., Coglio; Giunchiglia, Fausto | |
| Robust HMM training and adaptation in hands-free speech recognition | 1-gen-1999 | Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio | |
| Test Management Automation: Lessons Learned from a Process Improvement Experiment | 1-gen-2000 | G., La Commare; G., Giraudo; Tonella, Paolo | |
| Evaluating the FIPA Standards and Its Role in Achieving Cooperation in Multi-agent Systems | 1-gen-2000 | P., Charlton; Cattoni, Roldano; Potrich, Alessandra; E., Mamdani | |
| Planning as Model Checking | 1-gen-2000 | Giunchiglia, Fausto; Traverso, Paolo | |
| Noninvasive assessment of baroreflex sensitivity in post-MI patients by an open loop model of RR-systolic arterial pressure interactions | 1-gen-1999 | Faes, Luca; Nollo, Giandomenico; Amanda, Porta; Ravelli, Flavia | |
| Advances in Trace Metal Contaminant Analysis by Laser-SNMS | 1-gen-1999 | L., Moro; Lazzeri, Paolo; Wu K., Jen | |
| Adaptation-Dependent Retrieval Problem: A Formal Definition | 1-gen-1999 | Avesani, Paolo; Blanzieri, Enrico | |
| Flexible Mixed Initiative Dialogue over the Telephone Network | 1-gen-1999 | Falavigna, Giuseppe Daniele; Gretter, Roberto | |
| Finite State Verification for the Asynchronous pi-Calculus | 1-gen-1999 | U., Montanari; Pistore, Marco | |
| Low-Power Silicon Microheaters for Gas Sensors | 1-gen-1999 | Sebastiano, Brida; Giacomozzi, Flavio; D., Giusti; Guarnieri, Vittorio; Margesin, Benno; Zen, Mario |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.021 a 7.040 di 7.942
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 ...7941
Data di pubblicazione
- In corso di stampa2
- 2020 - 20271565
- 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
- eng6444
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6827
- open482
- restricted464
- reserved165
- partially open2
- mixed1