Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.061 a 7.080 di 7.942
A Minimum Risk Metric for Nearest Neighbor Classification
1999-01-01 Blanzieri, Enrico; Ricci, Francesco
Advanced Metrics for Class-Driven Similarity Search
1999-01-01 Avesani, Paolo; Blanzieri, Enrico; Ricci, Francesco
Probability Based Metrics for Nearest Neighbor Classification and Case-Based Reasoning
1999-01-01 Blanzieri, Enrico; Ricci, Francesco
Formal Specification and Development of a Safety-Critical Train Management
1999-01-01 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Formal Specification and validation of a Vital Communication Protocol
1999-01-01 Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets
1999-01-01 Tonella, Paolo
Impact of Function Pointers on the Call Graph
1999-01-01 G., Antoniol; F., Calzolari; Tonella, Paolo
A Tutorial on Connectionist and Hybrid HMM/Connectionist Systems for Speech Recognition
1999-01-01 Trentin, Edmondo; Gori, Marco
HMMs for Acoustic Modeling: Beyond the Problem of Local Stationarity
1998-01-01 Trentin, Edmondo
Was the Title of This Talk Generated Automatically? Prospects on Intelligent Interfaces and Language
1999-01-01 Stock, Oliviero
NuSMV: a New Symbolic Model Verifier
1999-01-01 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
Detection of Polygonal Frames in Complex Document Images
1999-01-01 Messelodi, Stefano; Modena, Carla Maria
*SAT, KsatC, DLP and TA: a comparative analysis
1999-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
Improved Automata Generation for Linear Temporal Logic
1999-01-01 M., Daniele; Giunchiglia, Fausto; M. Y., Vardi
Semantic Boundaries in Multiple Languages
1999-01-01 J., Haas; V., Warnke; H., Niemann; Cettolo, Mauro; A., Corazza; Falavigna, Giuseppe Daniele; Lazzari, Giannino
An On-line Technique for Speaker and Environment Adaptation
1999-01-01 Giuliani, Diego
Use of Filtered Clean Speech for Robust HMM Training
1999-01-01 Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio
Use of Simulated Data for Robust Telephone Speech Recognition
1999-01-01 T., Coianiz; Falavigna, Giuseppe Daniele; Gretter, Roberto; Orlandi, Marco
Object Oriented Design Pattern Inference from Code
1999-01-01 Tonella, Paolo; G., Antoniol
An On-line Acoustic Compensation Technique for Robust Speech Recognition
1999-01-01 Giuliani, Diego
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Minimum Risk Metric for Nearest Neighbor Classification | 1-gen-1999 | Blanzieri, Enrico; Ricci, Francesco | |
| Advanced Metrics for Class-Driven Similarity Search | 1-gen-1999 | Avesani, Paolo; Blanzieri, Enrico; Ricci, Francesco | |
| Probability Based Metrics for Nearest Neighbor Classification and Case-Based Reasoning | 1-gen-1999 | Blanzieri, Enrico; Ricci, Francesco | |
| Formal Specification and Development of a Safety-Critical Train Management | 1-gen-1999 | A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
| Formal Specification and validation of a Vital Communication Protocol | 1-gen-1999 | Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
| Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets | 1-gen-1999 | Tonella, Paolo | |
| Impact of Function Pointers on the Call Graph | 1-gen-1999 | G., Antoniol; F., Calzolari; Tonella, Paolo | |
| A Tutorial on Connectionist and Hybrid HMM/Connectionist Systems for Speech Recognition | 1-gen-1999 | Trentin, Edmondo; Gori, Marco | |
| HMMs for Acoustic Modeling: Beyond the Problem of Local Stationarity | 1-gen-1998 | Trentin, Edmondo | |
| Was the Title of This Talk Generated Automatically? Prospects on Intelligent Interfaces and Language | 1-gen-1999 | Stock, Oliviero | |
| NuSMV: a New Symbolic Model Verifier | 1-gen-1999 | Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco | |
| Detection of Polygonal Frames in Complex Document Images | 1-gen-1999 | Messelodi, Stefano; Modena, Carla Maria | |
| *SAT, KsatC, DLP and TA: a comparative analysis | 1-gen-1999 | E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
| Improved Automata Generation for Linear Temporal Logic | 1-gen-1999 | M., Daniele; Giunchiglia, Fausto; M. Y., Vardi | |
| Semantic Boundaries in Multiple Languages | 1-gen-1999 | J., Haas; V., Warnke; H., Niemann; Cettolo, Mauro; A., Corazza; Falavigna, Giuseppe Daniele; Lazzari, Giannino | |
| An On-line Technique for Speaker and Environment Adaptation | 1-gen-1999 | Giuliani, Diego | |
| Use of Filtered Clean Speech for Robust HMM Training | 1-gen-1999 | Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio | |
| Use of Simulated Data for Robust Telephone Speech Recognition | 1-gen-1999 | T., Coianiz; Falavigna, Giuseppe Daniele; Gretter, Roberto; Orlandi, Marco | |
| Object Oriented Design Pattern Inference from Code | 1-gen-1999 | Tonella, Paolo; G., Antoniol | |
| An On-line Acoustic Compensation Technique for Robust Speech Recognition | 1-gen-1999 | Giuliani, Diego |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.061 a 7.080 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