Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.661 a 6.680 di 7.941
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems
2006-01-01 Richard, Banach; Bozzano, Marco
Simple Information Extraction (SIE): A Portable and Effective IE System
2006-01-01 Giuliano, Claudio; Lavelli, Alberto; Romano, Lorenza
Investigating a Generic Paraphrase-Based Approach for Relation Extraction
2006-01-01 Romano, Lorenza; Kouylekov, Milen Ognianov; Szpektor, Idan; Dagan, Ido Kalman; Lavelli, Alberto
Exploiting Shallow Linguistic Information for Relation Extraction from Biomedical Literature
2006-01-01 Giuliano, Claudio; Lavelli, Alberto; Romano, Lorenza
Towards Automatic Body Language Annotation
2006-01-01 Chippendale, Paul Ian
The species per path approach to SearchBased test data generation
2006-01-01 P., Mcminn; M., Harman; D., Binkley; Tonella, Paolo
Verifying space and time requirements for resource-bounded agents
2006-01-01 N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; M., Jago; B., Logan; Serafini, Luciano
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition
2005-01-01 Pistore, Marco; P., Roberti; Traverso, Paolo
Maximun Entropy Tagging with Binary and Real-Valued Features
2006-01-01 V., Sandrini; Federico, Marcello; Cettolo, Mauro
Automated Synthesis of Composite BPEL4WS Web Services
2005-01-01 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Automated Composition of Web Services by Planning at the Knowledge Level
2005-01-01 Pistore, Marco; Marconi, Annapaola; Bertoli, Piergiorgio; Traverso, Paolo
Quantifier Trees for QBFs
2005-01-01 Benedetti, Marco
Automated Composition of Web Services by Planning in Asynchronous Domains
2005-01-01 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio
Aspects of Distributed and Modular Ontology Reasoning
2005-01-01 Serafini, Luciano; A., Borgida; Tamilin, Andrei
Language Games: Solving the Vocabulary Problem in Multi-Case-Base Reasoning
2005-01-01 Avesani, Paolo; Hayes, Conor Michael; M., Cova
A Formal Investigation of Mapping Language for Terminological Knowledge
2005-01-01 Serafini, Luciano; H., Stuckenschmidt; H., Wache
DRAGO: Distributed Reasoning Architecture for the Semantic Web
2005-01-01 Serafini, Luciano; Tamilin, Andrei
sKizzo: A Suite to Evaluate and Certify QBFs
2004-01-01 Benedetti, Marco
Bounded Verification of Past LTL
2004-01-01 Cimatti, Alessandro; Roveri, Marco; D., Sheridan
Formal Verification of Requirements using Spin: A Case Study on Web Services
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems | 1-gen-2006 | Richard, Banach; Bozzano, Marco | |
| Simple Information Extraction (SIE): A Portable and Effective IE System | 1-gen-2006 | Giuliano, Claudio; Lavelli, Alberto; Romano, Lorenza | |
| Investigating a Generic Paraphrase-Based Approach for Relation Extraction | 1-gen-2006 | Romano, Lorenza; Kouylekov, Milen Ognianov; Szpektor, Idan; Dagan, Ido Kalman; Lavelli, Alberto | |
| Exploiting Shallow Linguistic Information for Relation Extraction from Biomedical Literature | 1-gen-2006 | Giuliano, Claudio; Lavelli, Alberto; Romano, Lorenza | |
| Towards Automatic Body Language Annotation | 1-gen-2006 | Chippendale, Paul Ian | |
| The species per path approach to SearchBased test data generation | 1-gen-2006 | P., Mcminn; M., Harman; D., Binkley; Tonella, Paolo | |
| Verifying space and time requirements for resource-bounded agents | 1-gen-2006 | N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; M., Jago; B., Logan; Serafini, Luciano | |
| Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition | 1-gen-2005 | Pistore, Marco; P., Roberti; Traverso, Paolo | |
| Maximun Entropy Tagging with Binary and Real-Valued Features | 1-gen-2006 | V., Sandrini; Federico, Marcello; Cettolo, Mauro | |
| Automated Synthesis of Composite BPEL4WS Web Services | 1-gen-2005 | Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola | |
| Automated Composition of Web Services by Planning at the Knowledge Level | 1-gen-2005 | Pistore, Marco; Marconi, Annapaola; Bertoli, Piergiorgio; Traverso, Paolo | |
| Quantifier Trees for QBFs | 1-gen-2005 | Benedetti, Marco | |
| Automated Composition of Web Services by Planning in Asynchronous Domains | 1-gen-2005 | Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio | |
| Aspects of Distributed and Modular Ontology Reasoning | 1-gen-2005 | Serafini, Luciano; A., Borgida; Tamilin, Andrei | |
| Language Games: Solving the Vocabulary Problem in Multi-Case-Base Reasoning | 1-gen-2005 | Avesani, Paolo; Hayes, Conor Michael; M., Cova | |
| A Formal Investigation of Mapping Language for Terminological Knowledge | 1-gen-2005 | Serafini, Luciano; H., Stuckenschmidt; H., Wache | |
| DRAGO: Distributed Reasoning Architecture for the Semantic Web | 1-gen-2005 | Serafini, Luciano; Tamilin, Andrei | |
| sKizzo: A Suite to Evaluate and Certify QBFs | 1-gen-2004 | Benedetti, Marco | |
| Bounded Verification of Past LTL | 1-gen-2004 | Cimatti, Alessandro; Roveri, Marco; D., Sheridan | |
| Formal Verification of Requirements using Spin: A Case Study on Web Services | 1-gen-2004 | Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.661 a 6.680 di 7.941
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 ...7940
Data di pubblicazione
- In corso di stampa2
- 2020 - 20271564
- 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 SCIENCE229
- 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
- eng6443
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6826
- open482
- restricted464
- reserved165
- partially open2
- mixed1