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.
An ISFET based chemical sensor for the food industry
1999-01-01 M., Corrà; G. U., Pignatel; Conci, Paolo; Margesin, Benno; Zen, Mario; Maglione, Alfredo
NuSMV: a New Symbolic Model Verifier
1999-01-01 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
Attualità e sviluppi della lotta ai tumori nella Provincia di Trento
1999-01-01 Stefano, Forti; Graiff, Antonella
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
Electro-optical characterization of photosensors for solid state imagers
1992-01-01 Margesin, Benno; M. C., Vecchi; Zen, Mario; Zorzi, Nicola; Massimo, Rudan
Proving Theorems by Using Abstraction Interactively
1995-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
One to One Marketing on the Web: How to Exploit User Modelling in the SiteIF Project
1999-01-01 A., Stefani; Strapparava, Carlo
Bridging Anaphora in Deverbal NPs
1999-01-01 Not, Elena; L., Tovena; Zancanaro, Massimo
Accesso in linguaggio naturale ai dati della Pubblica Amministrazione: il sistema TAMIC-P
1999-01-01 C., Bagnasco; Amedeo, Cappelli; Magnini, Bernardo; D., Zamatteo
Temporal reasoning and interactive planning
1994-01-01 Perini, Anna; F., Ricci; Avesani, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An ISFET based chemical sensor for the food industry | 1-gen-1999 | M., Corrà; G. U., Pignatel; Conci, Paolo; Margesin, Benno; Zen, Mario; Maglione, Alfredo | |
| NuSMV: a New Symbolic Model Verifier | 1-gen-1999 | Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco | |
| Attualità e sviluppi della lotta ai tumori nella Provincia di Trento | 1-gen-1999 | Stefano, Forti; Graiff, Antonella | |
| 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 | |
| Electro-optical characterization of photosensors for solid state imagers | 1-gen-1992 | Margesin, Benno; M. C., Vecchi; Zen, Mario; Zorzi, Nicola; Massimo, Rudan | |
| Proving Theorems by Using Abstraction Interactively | 1-gen-1995 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto | |
| One to One Marketing on the Web: How to Exploit User Modelling in the SiteIF Project | 1-gen-1999 | A., Stefani; Strapparava, Carlo | |
| Bridging Anaphora in Deverbal NPs | 1-gen-1999 | Not, Elena; L., Tovena; Zancanaro, Massimo | |
| Accesso in linguaggio naturale ai dati della Pubblica Amministrazione: il sistema TAMIC-P | 1-gen-1999 | C., Bagnasco; Amedeo, Cappelli; Magnini, Bernardo; D., Zamatteo | |
| Temporal reasoning and interactive planning | 1-gen-1994 | Perini, Anna; F., Ricci; Avesani, Paolo |
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