RicercaInizia una nuova ricerca
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem
1995-01-01 Fausto Giunchiglia; Paolo Bouquet
Preliminary Results of the C-STAR Project at IRST
1996-01-01 Angelini, Bianca; Cettolo, Mauro; A., Corazza; Falavigna, Giuseppe Daniele; Lavelli, Alberto; Lazzari, Giannino; Pianesi, Fabio; Stock, Oliviero
A Digital Camera for Machine Vision
1994-01-01 Andrea Simoni; Massimo Gottardi; A. Sartori; A. Zorat
Evolving Object Oriented Design to Improve Code Traceability
1999-01-01 G., Antoniol; Potrich, Alessandra; Tonella, Paolo; R., Fiutem
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
Determinazione automatica del profilo dell'utente Web: il sistema SiteIF
1998-01-01 A., Stefani; Strapparava, Carlo
Sistemi di Teleradiologia. Metodica di progettazione e realizzazione
1999-01-01 Moser, E.; Stefano, Forti; Dalla Palma, P.
La famiglia degli orsi - valutazione dell'attaccamento alle figure genitoriali attraverso un metodo proiettivo
1999-01-01 P., Venuti; E., Cesari; C., Mercuri; Furlanello, Cesare
Smart VLSI opto-sensors developments at the Istituto per la Ricerca Scientifica e Tecnologica
1999-01-01 Gonzo, Lorenzo; Simoni, Andrea; Gottardi, Massimo; D., Maschera; Beraldin, Jean Angelo
Sensori ChemFET per il controllo ambientale
1994-01-01 Armaroli, Cristiana; Lui, Alberto; Margesin, Benno; Zanini, Vittorio; Zen, Mario; Maglione, Alfredo; Soncini, Giovanni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem | 1-gen-1995 | Fausto Giunchiglia; Paolo Bouquet | |
Preliminary Results of the C-STAR Project at IRST | 1-gen-1996 | Angelini, Bianca; Cettolo, Mauro; A., Corazza; Falavigna, Giuseppe Daniele; Lavelli, Alberto; Lazzari, Giannino; Pianesi, Fabio; Stock, Oliviero | |
A Digital Camera for Machine Vision | 1-gen-1994 | Andrea Simoni; Massimo Gottardi; A. Sartori; A. Zorat | |
Evolving Object Oriented Design to Improve Code Traceability | 1-gen-1999 | G., Antoniol; Potrich, Alessandra; Tonella, Paolo; R., Fiutem | |
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 | |
Determinazione automatica del profilo dell'utente Web: il sistema SiteIF | 1-gen-1998 | A., Stefani; Strapparava, Carlo | |
Sistemi di Teleradiologia. Metodica di progettazione e realizzazione | 1-gen-1999 | Moser, E.; Stefano, Forti; Dalla Palma, P. | |
La famiglia degli orsi - valutazione dell'attaccamento alle figure genitoriali attraverso un metodo proiettivo | 1-gen-1999 | P., Venuti; E., Cesari; C., Mercuri; Furlanello, Cesare | |
Smart VLSI opto-sensors developments at the Istituto per la Ricerca Scientifica e Tecnologica | 1-gen-1999 | Gonzo, Lorenzo; Simoni, Andrea; Gottardi, Massimo; D., Maschera; Beraldin, Jean Angelo | |
Sensori ChemFET per il controllo ambientale | 1-gen-1994 | Armaroli, Cristiana; Lui, Alberto; Margesin, Benno; Zanini, Vittorio; Zen, Mario; Maglione, Alfredo; Soncini, Giovanni |
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
Editore
- Springer 20
- IEEE 11
- Springer Verlag 7
- Morgan Kaufmann 5
- AAAI Press 4
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
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- hidden Markov model 6
- natural language generation 5
- automatic speech recognition 4
- complementary metal-oxide-semicon... 4
- LOCOS isolation 4
Lingua
- eng 268
- ita 30
- deu 1
Accesso al fulltext
- no fulltext 566
- reserved 1