Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.081 a 7.100 di 7.942
Effective Feature Analysis for Tool Selection
1999-01-01 G., Antoniol; G., La Commare; G., Giraudo; Tonella, Paolo
An Inter-Domain Portable Approach to Interchange Format Construction
1999-01-01 Corazza, A.
Efficient Language Model Adaptation through MDI Estimation
1999-01-01 Federico, Marcello
A two-passes Speech Recognition Method for Information Retrieval Applications
1999-01-01 Coletti, Paolo; Federico, Marcello
Evolving Object Oriented Design to Improve Code Traceability
1999-01-01 G., Antoniol; Potrich, Alessandra; Tonella, Paolo; R., Fiutem
Reverse Engineering Information Flows based on Shared Files
1998-01-01 Tonella, Paolo; R., Fiutem; G., Antoniol; F., Calzolari
Living with 4.7 Million Lines of Code
1998-01-01 G., Antoniol; F., Calzolari; R., Fiutem; Tonella, Paolo
VIDEO: Video and Image Data Exploration and Organization
1998-01-01 Brunelli, Roberto; Mich, Ornella
Applying File-Based Information Flow and ASE Elicitation to a Legacy System
1998-01-01 J. F., Girards; R., Koschke; R., Fiutem; G., Antoniol; Tonella, Paolo; F., Calzolari
Identifying Design-Code Inconsistencies in Object-Oriented Software: a Case Study
1998-01-01 Fiutem, R.; Antoniol, G.
Definition and Experimental Evaluation of Function Points for Object-Oriented Systems
1998-01-01 Caldiera, G.; Antoniol, G.; Fiutem, R.; Lokan, C.
Abstraction in Planning via Model Checking
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco
Multiagent Systems Verification via Model Checking
1998-01-01 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
1998-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
First results on double-sided AC-coupled Si strip detectors
1998-01-01 Boscardin, Maurizio; Luciano, Bosisio; N., Carmel Barnea; Dalla Betta, Gian Franco; Ferrario, Lorenza; Giorgio Umberto, Pignatel; Zen, Mario; Zorzi, Nicola
A new current-mode programmable cellular neural network
1998-01-01 L., Ravezzi; Dalla Betta, Gian Franco; G., Setti
The morphosyntax of Sequence of Tense
1998-01-01 Pianesi, Fabio
The bi-polarity of 'any'
1998-01-01 Tovena, L.; Jayez, J.
HyperAudio – o del Museo Aumentato
1999-01-01 Petrelli, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Effective Feature Analysis for Tool Selection | 1-gen-1999 | G., Antoniol; G., La Commare; G., Giraudo; Tonella, Paolo | |
| An Inter-Domain Portable Approach to Interchange Format Construction | 1-gen-1999 | Corazza, A. | |
| Efficient Language Model Adaptation through MDI Estimation | 1-gen-1999 | Federico, Marcello | |
| A two-passes Speech Recognition Method for Information Retrieval Applications | 1-gen-1999 | Coletti, Paolo; Federico, Marcello | |
| Evolving Object Oriented Design to Improve Code Traceability | 1-gen-1999 | G., Antoniol; Potrich, Alessandra; Tonella, Paolo; R., Fiutem | |
| Reverse Engineering Information Flows based on Shared Files | 1-gen-1998 | Tonella, Paolo; R., Fiutem; G., Antoniol; F., Calzolari | |
| Living with 4.7 Million Lines of Code | 1-gen-1998 | G., Antoniol; F., Calzolari; R., Fiutem; Tonella, Paolo | |
| VIDEO: Video and Image Data Exploration and Organization | 1-gen-1998 | Brunelli, Roberto; Mich, Ornella | |
| Applying File-Based Information Flow and ASE Elicitation to a Legacy System | 1-gen-1998 | J. F., Girards; R., Koschke; R., Fiutem; G., Antoniol; Tonella, Paolo; F., Calzolari | |
| Identifying Design-Code Inconsistencies in Object-Oriented Software: a Case Study | 1-gen-1998 | Fiutem, R.; Antoniol, G. | |
| Definition and Experimental Evaluation of Function Points for Object-Oriented Systems | 1-gen-1998 | Caldiera, G.; Antoniol, G.; Fiutem, R.; Lokan, C. | |
| Abstraction in Planning via Model Checking | 1-gen-1998 | Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco | |
| Multiagent Systems Verification via Model Checking | 1-gen-1998 | Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano | |
| Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System | 1-gen-1998 | Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo | |
| A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools | 1-gen-1998 | Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo | |
| First results on double-sided AC-coupled Si strip detectors | 1-gen-1998 | Boscardin, Maurizio; Luciano, Bosisio; N., Carmel Barnea; Dalla Betta, Gian Franco; Ferrario, Lorenza; Giorgio Umberto, Pignatel; Zen, Mario; Zorzi, Nicola | |
| A new current-mode programmable cellular neural network | 1-gen-1998 | L., Ravezzi; Dalla Betta, Gian Franco; G., Setti | |
| The morphosyntax of Sequence of Tense | 1-gen-1998 | Pianesi, Fabio | |
| The bi-polarity of 'any' | 1-gen-1998 | Tovena, L.; Jayez, J. | |
| HyperAudio – o del Museo Aumentato | 1-gen-1999 | Petrelli, D. |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.081 a 7.100 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