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.
Admissible Strategies for Acoustic Matching With a Large Vocabulary
1991-01-01 G., Antoniol; Brugnara, Fabio; Giuliani, Diego
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
Abstraction in Planning via Model Checking
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco
Silicon bulk micromachining for sensor technologies
1999-01-01 Zen, Mario; Giorgio Umberto, Pignatel
Identifying Design-Code Inconsistencies in Object-Oriented Software: a Case Study
1998-01-01 Fiutem, R.; Antoniol, G.
Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets
1999-01-01 Tonella, Paolo
Joint photoemission and Auger study of the valence band electronic structure of highly oriented pyrofilic graphite
1999-01-01 Speranza, Giorgio; Calliari, Lucia; A., Santoni; J. C., Lascovich; Anderle, Mariano
Esposizione Umana a Campi Elettromagnetici a Radiofrequenza
1999-01-01 Luca, Cristoforetti; Pontalti, Rolando; Malacarne, Carla; Vaccari, Alessandro; Lunelli, Lorenzo
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees
1999-01-01 S., Lapierre; E., Merlo; G., Savard; G., Antoniol; R., Fiutem; Tonella, Paolo
Using the Interchange Format for Encoding Spoken Dialogues
1998-01-01 Pianesi, Fabio; L., Tovena
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 ... 567
- 4 Contributo in Atti di Convegno ... 567
Data di pubblicazione
- 1999 144
- 1998 97
- 1997 62
- 1996 79
- 1995 67
- 1994 39
- 1993 21
- 1992 30
- 1991 18
- 1990 10
Editore
- Springer 20
- IEEE 11
- Springer Verlag 7
- Morgan Kaufmann 5
- AAAI Press 4
- no publisher 4
- AAAI 3
- Electrochemical Society 2
- European Circuit Society (ECS) 2
- IOS Press 2
Rivista
- PHYSICA. B, CONDENSED MATTER 2
- ADVANCES IN CLINICAL PATHOLOGY 1
- ANALYTICAL CELLULAR PATHOLOGY 1
- ARCHIVES DES MALADIES DU COEUR ET... 1
- IEEE TRANSACTIONS ON BIOMEDICAL E... 1
- IEEE TRANSACTIONS ON MAGNETICS 1
- JOURNAL OF APPLIED PHYSICS 1
- JOURNAL OF MAGNETISM AND MAGNETIC... 1
- PATHOLOGICA 1
- PHYSICA STATUS SOLIDI B-BASIC RES... 1
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- hidden Markov model 6
- natural language generation 6
- automatic speech recognition 4
- complementary metal-oxide-semicon... 4
- electrical characterization 4
- gettering 4
- LOCOS isolation 4
- neural network 3
- oxide reliability 3
- defect characterization 2
Lingua
- eng 268
- ita 30
- ger 1
Accesso al fulltext
- no fulltext 566
- reserved 1