Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability
1998-01-01 E., Giunchiglia; A., Massarotto; Sebastiani, Roberto
Error-Correcting Output Codes for Local Learners
1998-01-01 Ricci, Francesco; D. W., Aha
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Neutrino Physics with Thermal Detectors
1998-01-01 A., Alessandrello; C., Brofferio; O., Cremonesi; E., Fiorini; A., Giuliani; Alessandro, Monfardini; A., Nucciotti; M., Pavan; G., Pessina; S., Pirro; E., Previtali; M., Vanzini; L., Zanotti; C., Bucci; Margesin, Benno; Giorgio Umberto, Pignatel; Zen, Mario; J. W., Beeman; E. E., Haller
Adapting Function Points to Objects Oriented Information Systems
1998-01-01 A., Antoniol; F., Calzolari; Cristoforetti, Luca; R., Fiutem; G., Caldiera
Strong Planning in Non-Deterministic Domains via Model Checking
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Design Pattern Recovery in Object-Oriented Software
1998-01-01 G., Antoniol; R., Fiutem; Cristoforetti, Luca
NuSMV: A Reimplementation of SMV
1998-01-01 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
Developing Natural Language Resources and Applications with GEPPETTO
1998-01-01 F., Ciravegna; Lavelli, Alberto; D., Petrelli; Pianesi, Fabio
Multimodal Communication With and Without Agenthood
1998-01-01 Stock, Oliviero
Present Tense, Perfectivity and the Anchoring Conditions
1997-01-01 A., Giorgi; Pianesi, Fabio
Aspects of the Morphosyntax of Sequence of Tnese Phenomena
1998-01-01 A., Giorgi; Pianesi, Fabio
Impact of Different Flow Insensitive Points-to Analysis on DEF/USE Sets
1999-01-01 Tonella, Paolo
Efficient Full Parsing for Information Extraction
1997-01-01 F., Ciravegna; Lavelli, Alberto; G., Satta
More Evaluation of Decision Procedures for Modal Logics
1998-01-01 E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
Estimating Size and Effort for Object Oriented Systems
1997-01-01 Caldiera, G.; Lokan, C.; Antoniol, G.; Fiutem, R.; Curtis, S.; La Commare, G.; Mambella, E.
Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array
1997-01-01 Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego
Modeling Maintenance Effort by means of Dynamics Systems
1998-01-01 F., Calzolari; G., Antoniol; Tonella, Paolo
Characterization of TMAH Silicon Etchant Using Ammonium Persulfate as an Oxidizing Agent
1999-01-01 Sebastiano, Brida; Guarnieri, Vittorio; M., Pranjape; Giacomozzi, Flavio; Zen, Mario
Differential Equations for Phase-Based Stereo-Vision
1999-01-01 Crespi, B.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability | 1-gen-1998 | E., Giunchiglia; A., Massarotto; Sebastiani, Roberto | |
| Error-Correcting Output Codes for Local Learners | 1-gen-1998 | Ricci, Francesco; D. W., Aha | |
| Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains | 1-gen-1998 | Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
| Neutrino Physics with Thermal Detectors | 1-gen-1998 | A., Alessandrello; C., Brofferio; O., Cremonesi; E., Fiorini; A., Giuliani; Alessandro, Monfardini; A., Nucciotti; M., Pavan; G., Pessina; S., Pirro; E., Previtali; M., Vanzini; L., Zanotti; C., Bucci; Margesin, Benno; Giorgio Umberto, Pignatel; Zen, Mario; J. W., Beeman; E. E., Haller | |
| Adapting Function Points to Objects Oriented Information Systems | 1-gen-1998 | A., Antoniol; F., Calzolari; Cristoforetti, Luca; R., Fiutem; G., Caldiera | |
| Strong Planning in Non-Deterministic Domains via Model Checking | 1-gen-1998 | Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
| Design Pattern Recovery in Object-Oriented Software | 1-gen-1998 | G., Antoniol; R., Fiutem; Cristoforetti, Luca | |
| NuSMV: A Reimplementation of SMV | 1-gen-1998 | Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco | |
| Developing Natural Language Resources and Applications with GEPPETTO | 1-gen-1998 | F., Ciravegna; Lavelli, Alberto; D., Petrelli; Pianesi, Fabio | |
| Multimodal Communication With and Without Agenthood | 1-gen-1998 | Stock, Oliviero | |
| Present Tense, Perfectivity and the Anchoring Conditions | 1-gen-1997 | A., Giorgi; Pianesi, Fabio | |
| Aspects of the Morphosyntax of Sequence of Tnese Phenomena | 1-gen-1998 | A., Giorgi; Pianesi, Fabio | |
| Impact of Different Flow Insensitive Points-to Analysis on DEF/USE Sets | 1-gen-1999 | Tonella, Paolo | |
| Efficient Full Parsing for Information Extraction | 1-gen-1997 | F., Ciravegna; Lavelli, Alberto; G., Satta | |
| More Evaluation of Decision Procedures for Modal Logics | 1-gen-1998 | E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella | |
| Estimating Size and Effort for Object Oriented Systems | 1-gen-1997 | Caldiera, G.; Lokan, C.; Antoniol, G.; Fiutem, R.; Curtis, S.; La Commare, G.; Mambella, E. | |
| Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array | 1-gen-1997 | Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego | |
| Modeling Maintenance Effort by means of Dynamics Systems | 1-gen-1998 | F., Calzolari; G., Antoniol; Tonella, Paolo | |
| Characterization of TMAH Silicon Etchant Using Ammonium Persulfate as an Oxidizing Agent | 1-gen-1999 | Sebastiano, Brida; Guarnieri, Vittorio; M., Pranjape; Giacomozzi, Flavio; Zen, Mario | |
| Differential Equations for Phase-Based Stereo-Vision | 1-gen-1999 | Crespi, B. |
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