Proving Theorems by Using Abstraction Interactively
1995-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
Bird`s Beak Reduction by Dry LOCOS Technique
1994-01-01 Bellutti, Pierluigi; Boscardin, Maurizio; Lui, Alberto; Soncini, Giovanni; Zen, Mario; Zorzi, Nicola
Sull'intelligenza delle macchine
1994-01-01 Varzi, A. C.
Radiological reporting by speech recognition: the A.Re.S. System
1994-01-01 Angelini, Bianca; G., Antoniol; Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello; R., Fiutem; Lazzari, Giannino
Language Model Estimations and Representations for Real-Time Continuous Speech Recognition
1994-01-01 G., Antoniol; Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello
Multimodal Navigation in an Information Space
1994-01-01 Stock, Oliviero; Strapparava, Carlo; Zancanaro, Massimo
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning
1994-01-01 Gerevini, A.; Schubert, L.
Using a Textual Representation Level Component in the Context of Discourse or Dialogue Generation
1994-01-01 Panaget, F.
Bridging the Gap between Planning and Reactivity: A Layered Architecture for Autonomous Indoor Navigation
1994-01-01 Cattoni, Roldano; G., Di Caro; Aste, Marco; Caprile, Bruno Giovanni
Associative Memory for Navigation
1994-01-01 Crespi, B.
Mereo-Topological Construction of Time from Events
1994-01-01 Pianesi, Fabio; A. C., Varzi
Planning with Failure
1994-01-01 Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo
Acoustic Event Localization Using a Crosspower-Spectrum Phase Based Technique
1994-01-01 Omologo, Maurizio; Svaizer, Piergiorgio
Spectral Analysis of the Ventricular Repolarisation Duration in 24-hour Holter Monitoring: Technical Requirements and Early Results
1995-01-01 Speranza, Giorgio; Nollo, Giandomenico; Ravelli, Flavia
Talker Tracking and Speech Acquisition using two Microphone Pairs and a CrosspowerSpectrum Phase Analysis
1995-01-01 Omologo, Maurizio; Svaizer, Piergiorgio
Automatic Speech Labeling using Word Pronunciation Networks and Hidden Markov Models
1995-01-01 Angelini, Bianca; Brugnara, Fabio; Giuliani, Diego; Falavigna, Giuseppe Daniele; Gretter, Roberto; Omologo, Maurizio
A General Purpose Reasoner for Abstraction
1995-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
Integrazione CAD-CAM: utilizzo di sistemi esperti nella pianificazione di processo
1992-01-01 Avesani, Paolo
Fabrication of silicon based micromachined antennas for millimeter-wave applications
2003-01-01 M., Saadaoui; A., Muller; P., Pons; L., Bary; D., Neculoiu; Giacomozzi, Flavio; D., Dubuc; K., Grenier; L., Rabbia; D., Vasilache; R., Plana
Technology and Microwave Performances of Micromechanical Shunt Switches
2003-01-01 R., Marcelli; G., Minucci; Margesin, Benno; Giacomozzi, Flavio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Proving Theorems by Using Abstraction Interactively | 1-gen-1995 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto | |
| Bird`s Beak Reduction by Dry LOCOS Technique | 1-gen-1994 | Bellutti, Pierluigi; Boscardin, Maurizio; Lui, Alberto; Soncini, Giovanni; Zen, Mario; Zorzi, Nicola | |
| Sull'intelligenza delle macchine | 1-gen-1994 | Varzi, A. C. | |
| Radiological reporting by speech recognition: the A.Re.S. System | 1-gen-1994 | Angelini, Bianca; G., Antoniol; Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello; R., Fiutem; Lazzari, Giannino | |
| Language Model Estimations and Representations for Real-Time Continuous Speech Recognition | 1-gen-1994 | G., Antoniol; Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello | |
| Multimodal Navigation in an Information Space | 1-gen-1994 | Stock, Oliviero; Strapparava, Carlo; Zancanaro, Massimo | |
| An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning | 1-gen-1994 | Gerevini, A.; Schubert, L. | |
| Using a Textual Representation Level Component in the Context of Discourse or Dialogue Generation | 1-gen-1994 | Panaget, F. | |
| Bridging the Gap between Planning and Reactivity: A Layered Architecture for Autonomous Indoor Navigation | 1-gen-1994 | Cattoni, Roldano; G., Di Caro; Aste, Marco; Caprile, Bruno Giovanni | |
| Associative Memory for Navigation | 1-gen-1994 | Crespi, B. | |
| Mereo-Topological Construction of Time from Events | 1-gen-1994 | Pianesi, Fabio; A. C., Varzi | |
| Planning with Failure | 1-gen-1994 | Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo | |
| Acoustic Event Localization Using a Crosspower-Spectrum Phase Based Technique | 1-gen-1994 | Omologo, Maurizio; Svaizer, Piergiorgio | |
| Spectral Analysis of the Ventricular Repolarisation Duration in 24-hour Holter Monitoring: Technical Requirements and Early Results | 1-gen-1995 | Speranza, Giorgio; Nollo, Giandomenico; Ravelli, Flavia | |
| Talker Tracking and Speech Acquisition using two Microphone Pairs and a CrosspowerSpectrum Phase Analysis | 1-gen-1995 | Omologo, Maurizio; Svaizer, Piergiorgio | |
| Automatic Speech Labeling using Word Pronunciation Networks and Hidden Markov Models | 1-gen-1995 | Angelini, Bianca; Brugnara, Fabio; Giuliani, Diego; Falavigna, Giuseppe Daniele; Gretter, Roberto; Omologo, Maurizio | |
| A General Purpose Reasoner for Abstraction | 1-gen-1995 | Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh | |
| Integrazione CAD-CAM: utilizzo di sistemi esperti nella pianificazione di processo | 1-gen-1992 | Avesani, Paolo | |
| Fabrication of silicon based micromachined antennas for millimeter-wave applications | 1-gen-2003 | M., Saadaoui; A., Muller; P., Pons; L., Bary; D., Neculoiu; Giacomozzi, Flavio; D., Dubuc; K., Grenier; L., Rabbia; D., Vasilache; R., Plana | |
| Technology and Microwave Performances of Micromechanical Shunt Switches | 1-gen-2003 | R., Marcelli; G., Minucci; Margesin, Benno; Giacomozzi, Flavio |
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 fulltext6826
- open483
- restricted464
- reserved165
- partially open2
- mixed1