CBET: A Case Base Exploration Tool
1997-01-01 Avesani, Paolo; Perini, Anna; Ricci, Francesco
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
1997-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
SAX: Generating Hypertext from SADT Models
1997-01-01 Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti
Context Based Semantics for Federated Databases
1997-01-01 Serafini, Luciano; Ghidini, Chiara
Acoustic Source Location in a Three-Dimensional Space using Crosspower Spectrum Phase
1997-01-01 Svaizer, Piergiorgio; Omologo, Maurizio; Matassoni, Marco
Microphone Array based Speech Recognition with Different Talker-Array Positions
1997-01-01 Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego
Multilingual Person to Person Communication at IRST
1997-01-01 Angelini, Bianca; Cettolo, Mauro; A., Corazza; Falavigna, Giuseppe Daniele; Lazzari, Giannino
Riconoscimento Vocale: dalla ricerca alle applicazioni
1996-01-01 Federico, Marcello
Open Problems for Part-Whole Relations
1996-01-01 Artale, A.; Franconi, E.
Logical Form and Knwoledge Representation: Towards a Reconciliation
1996-01-01 Franconi, E.
Speaker Normalization with a Mixture of Recurrent Networks
1997-01-01 Trentin, Edmondo; Giuliani, Diego
Pattern of Infestation of Ixodes Ricinus (Acari: Ixodidae) on Roe Deer in the Italian Alps
1996-01-01 Rizzoli, Annamaria; C., Chemini; C., Genchi; Merler, Stefano; Furlanello, Cesare
Biodiversity and Stress Level in Four Forests of the Italian Alps
1996-01-01 P., Bonavita; C., Chemini; P., Ambrosi; F., Minerbi; C., Salvadori; Furlanello, Cesare
Analysis of the Distribution and Abundance of Ixodes ricinus (Acari: Ixodidae) on Roe Deer (Capreolus capreolus) in the Italian Alps
1996-01-01 C., Chemini; Rizzoli, Annamaria; Merler, Stefano; Furlanello, Cesare
Cathode and Anode Traps in High-Voltage Stressed Silicon Oxides
1996-01-01 L., Chen; C., Kang; D., Dumin; A., Brown; Bellutti, Pierluigi
A Distributed Adaptive Architecture for Analog Stereo Depth Estimation
1996-01-01 G., Bisio; B., Crespi; L., Raffo; S., Sabatini; Soncini, Giovanni; A., Valdes
Construction and Characterization of Si Thermistros for High Resoluzion X-ray Detectors
1996-01-01 A., Alessandrello; C., Brofferio; D. V., Camin; P., Caspani; C., Cattadori; P., Colling; O., Cremonesi; E., Fiorini; A., Giuliani; Margesin, Benno; A., Nucciotti; M., Pavan; G., Pessina; Giorgio Umberto, Pignatel; E., Previtali; L., Zanotti; Zen, Mario
Silicon Integrated Microcalorimeters
1996-01-01 Margesin, Benno; Zen, Mario; Giorgio Umberto, Pignatel; Soncini, Giovanni
Low Temperature Microcalorimeter Development for a Neutrino Mass Experiment
1996-01-01 A., Alessandrello; C., Brofferio; D. V., Camin; P., Caspani; C., Cattadori; P., Colling; O., Cremonesi; E., Fiorini; A., Giuliani; Margesin, Benno; A., Nucciotti; M., Pavan; G., Pessina; Giorgio Umberto, Pignatel; E., Previtali; L., Zanotti; Zen, Mario
Chemical Sensors based on ISFET Transducers
1996-01-01 Lui, Alberto; Margesin, Benno; Zen, Mario; Soncini, Giovanni; G., Verzellesi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CBET: A Case Base Exploration Tool | 1-gen-1997 | Avesani, Paolo; Perini, Anna; Ricci, Francesco | |
| A Provably Correct Embedded Verifier for the Certification of Safety Critical Software | 1-gen-1997 | Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu | |
| SAX: Generating Hypertext from SADT Models | 1-gen-1997 | Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti | |
| Context Based Semantics for Federated Databases | 1-gen-1997 | Serafini, Luciano; Ghidini, Chiara | |
| Acoustic Source Location in a Three-Dimensional Space using Crosspower Spectrum Phase | 1-gen-1997 | Svaizer, Piergiorgio; Omologo, Maurizio; Matassoni, Marco | |
| Microphone Array based Speech Recognition with Different Talker-Array Positions | 1-gen-1997 | Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego | |
| Multilingual Person to Person Communication at IRST | 1-gen-1997 | Angelini, Bianca; Cettolo, Mauro; A., Corazza; Falavigna, Giuseppe Daniele; Lazzari, Giannino | |
| Riconoscimento Vocale: dalla ricerca alle applicazioni | 1-gen-1996 | Federico, Marcello | |
| Open Problems for Part-Whole Relations | 1-gen-1996 | Artale, A.; Franconi, E. | |
| Logical Form and Knwoledge Representation: Towards a Reconciliation | 1-gen-1996 | Franconi, E. | |
| Speaker Normalization with a Mixture of Recurrent Networks | 1-gen-1997 | Trentin, Edmondo; Giuliani, Diego | |
| Pattern of Infestation of Ixodes Ricinus (Acari: Ixodidae) on Roe Deer in the Italian Alps | 1-gen-1996 | Rizzoli, Annamaria; C., Chemini; C., Genchi; Merler, Stefano; Furlanello, Cesare | |
| Biodiversity and Stress Level in Four Forests of the Italian Alps | 1-gen-1996 | P., Bonavita; C., Chemini; P., Ambrosi; F., Minerbi; C., Salvadori; Furlanello, Cesare | |
| Analysis of the Distribution and Abundance of Ixodes ricinus (Acari: Ixodidae) on Roe Deer (Capreolus capreolus) in the Italian Alps | 1-gen-1996 | C., Chemini; Rizzoli, Annamaria; Merler, Stefano; Furlanello, Cesare | |
| Cathode and Anode Traps in High-Voltage Stressed Silicon Oxides | 1-gen-1996 | L., Chen; C., Kang; D., Dumin; A., Brown; Bellutti, Pierluigi | |
| A Distributed Adaptive Architecture for Analog Stereo Depth Estimation | 1-gen-1996 | G., Bisio; B., Crespi; L., Raffo; S., Sabatini; Soncini, Giovanni; A., Valdes | |
| Construction and Characterization of Si Thermistros for High Resoluzion X-ray Detectors | 1-gen-1996 | A., Alessandrello; C., Brofferio; D. V., Camin; P., Caspani; C., Cattadori; P., Colling; O., Cremonesi; E., Fiorini; A., Giuliani; Margesin, Benno; A., Nucciotti; M., Pavan; G., Pessina; Giorgio Umberto, Pignatel; E., Previtali; L., Zanotti; Zen, Mario | |
| Silicon Integrated Microcalorimeters | 1-gen-1996 | Margesin, Benno; Zen, Mario; Giorgio Umberto, Pignatel; Soncini, Giovanni | |
| Low Temperature Microcalorimeter Development for a Neutrino Mass Experiment | 1-gen-1996 | A., Alessandrello; C., Brofferio; D. V., Camin; P., Caspani; C., Cattadori; P., Colling; O., Cremonesi; E., Fiorini; A., Giuliani; Margesin, Benno; A., Nucciotti; M., Pavan; G., Pessina; Giorgio Umberto, Pignatel; E., Previtali; L., Zanotti; Zen, Mario | |
| Chemical Sensors based on ISFET Transducers | 1-gen-1996 | Lui, Alberto; Margesin, Benno; Zen, Mario; Soncini, Giovanni; G., Verzellesi |
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