Fili mesoscopici in polisilicio ad elevato rapporto Superficie/Volume
2001-01-01 Tibuzzi, Arianna; A., D'Amico; C., Di Natale; Margesin, Benno; Zen, Mario; Soncini, Giovanni
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices
2001-01-01 Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo
Symbolic model checking for multi-agent systems
2001-01-01 Massimo, Benerecetti; Cimatti, Alessandro
Improving the encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
MBP: a Model Based Planner
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Towards an Economy-Based optimisation of File Access and Replication on a Data Grid
2002-01-01 Carman, Mark James; Zini, Floriano; Serafini, Luciano; K., Stockinger
ItalWordnet: a Large Semantic Database for the Automatic Treatment of the Italian Language
2002-01-01 A., Roventini; A., Alonge; F., Bertagna; N., Calzolari; R., Marinelli; Magnini, Bernardo; Speranza, Manuela; A., Zampolli
Compositional Recommender System using Case-Based Reasoning Approach
2001-01-01 S., Aguzzoli; Avesani, Paolo; Massa, Paolo
Updating Contexts
2002-01-01 Antonia, Donà; Serafini, Luciano
UHV Compatibility of Organic Materials
2001-01-01 Anderle, Mariano
Issues in Automatic Transcription of Historical Audio Data
2002-01-01 Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello; Giuliani, Diego
Comparing Ontology-Based and Corpus-Based Domain Annotations in WordNet
2002-01-01 Magnini, Bernardo; Strapparava, Carlo; Pezzulo, Giovanni; Gliozzo, Alfio Massimiliano
Intelligent Travel Recommendation for the European Citizen
2001-01-01 Ricci, Francesco; Mirzadeh, Nader; Venturini, Adriano; Werthner, Hannes
Use of New Standards for eCommerce Solution in the Tourism Domain: Destination ASEAN Region
2001-01-01 W., Leewattanakit; A., Ashari; A., Min Tjoa; Werthner, Hannes
Just Business - Shouldn't We Have Some Fun?
2001-01-01 Werthner, Hannes
A Constraint-Based Architecture for Flexible Support to Activity Scheduling
2001-01-01 A., Cesta; G., Cortellessa; A., Oddi; N., Policella; Susi, Angelo
A Non Conventional Unit Distance Code for Optical Rotary Encoder Applications
2001-01-01 S., Gregori; G., Torelli; V., Liberali; Gottardi, Massimo
Design, Manufacturing and Characterization of membrane supported Antennas for 38 GHz Wireless Applications
2001-01-01 D., Neculoiu; R., Marcelli; M., Dragoman; S., Iordanescu; Giacomozzi, Flavio; A., Muller
VLSI Laser Spot Sensors for 3D Digitization
2001-01-01 Beraldin, Jean Angelo; F., Blais; M., Rioux; J., Domey; Gonzo, Lorenzo; Gottardi, Massimo; Stoppa, David
Integrated optical sensor for 3D vision systems
2001-01-01 Gonzo, Lorenzo; Gottardi, Massimo; Simoni, Andrea; Stoppa, David; Beraldin, Jean Angelo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Fili mesoscopici in polisilicio ad elevato rapporto Superficie/Volume | 1-gen-2001 | Tibuzzi, Arianna; A., D'Amico; C., Di Natale; Margesin, Benno; Zen, Mario; Soncini, Giovanni | |
| Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices | 1-gen-2001 | Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo | |
| Symbolic model checking for multi-agent systems | 1-gen-2001 | Massimo, Benerecetti; Cimatti, Alessandro | |
| Improving the encoding of LTL Model Checking into SAT | 1-gen-2002 | Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto | |
| MBP: a Model Based Planner | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo | |
| Towards an Economy-Based optimisation of File Access and Replication on a Data Grid | 1-gen-2002 | Carman, Mark James; Zini, Floriano; Serafini, Luciano; K., Stockinger | |
| ItalWordnet: a Large Semantic Database for the Automatic Treatment of the Italian Language | 1-gen-2002 | A., Roventini; A., Alonge; F., Bertagna; N., Calzolari; R., Marinelli; Magnini, Bernardo; Speranza, Manuela; A., Zampolli | |
| Compositional Recommender System using Case-Based Reasoning Approach | 1-gen-2001 | S., Aguzzoli; Avesani, Paolo; Massa, Paolo | |
| Updating Contexts | 1-gen-2002 | Antonia, Donà; Serafini, Luciano | |
| UHV Compatibility of Organic Materials | 1-gen-2001 | Anderle, Mariano | |
| Issues in Automatic Transcription of Historical Audio Data | 1-gen-2002 | Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello; Giuliani, Diego | |
| Comparing Ontology-Based and Corpus-Based Domain Annotations in WordNet | 1-gen-2002 | Magnini, Bernardo; Strapparava, Carlo; Pezzulo, Giovanni; Gliozzo, Alfio Massimiliano | |
| Intelligent Travel Recommendation for the European Citizen | 1-gen-2001 | Ricci, Francesco; Mirzadeh, Nader; Venturini, Adriano; Werthner, Hannes | |
| Use of New Standards for eCommerce Solution in the Tourism Domain: Destination ASEAN Region | 1-gen-2001 | W., Leewattanakit; A., Ashari; A., Min Tjoa; Werthner, Hannes | |
| Just Business - Shouldn't We Have Some Fun? | 1-gen-2001 | Werthner, Hannes | |
| A Constraint-Based Architecture for Flexible Support to Activity Scheduling | 1-gen-2001 | A., Cesta; G., Cortellessa; A., Oddi; N., Policella; Susi, Angelo | |
| A Non Conventional Unit Distance Code for Optical Rotary Encoder Applications | 1-gen-2001 | S., Gregori; G., Torelli; V., Liberali; Gottardi, Massimo | |
| Design, Manufacturing and Characterization of membrane supported Antennas for 38 GHz Wireless Applications | 1-gen-2001 | D., Neculoiu; R., Marcelli; M., Dragoman; S., Iordanescu; Giacomozzi, Flavio; A., Muller | |
| VLSI Laser Spot Sensors for 3D Digitization | 1-gen-2001 | Beraldin, Jean Angelo; F., Blais; M., Rioux; J., Domey; Gonzo, Lorenzo; Gottardi, Massimo; Stoppa, David | |
| Integrated optical sensor for 3D vision systems | 1-gen-2001 | Gonzo, Lorenzo; Gottardi, Massimo; Simoni, Andrea; Stoppa, David; Beraldin, Jean Angelo |
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 ...7943
Data di pubblicazione
- In corso di stampa2
- 2020 - 20271567
- 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
- eng6455
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6820
- open489
- restricted466
- reserved165
- partially open2
- mixed1