Strong Cyclic Planning Revisited
1999-01-01 M., Daniele; Traverso, Paolo; M. Y., Vardi
Conformant Planning via Model Checking
1999-01-01 Cimatti, Alessandro; Roveri, Marco
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees
1999-01-01 S., Lapierre; E., Merlo; G., Savard; G., Antoniol; R., Fiutem; Tonella, Paolo
Conformant Planning via Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Mechanoelectric transduction in the isolated cardiac cell: the effects of swelling
1999-01-01 A., Facchinelli; Ravelli, Flavia; S., Lasta; E., D'Amato; R., Antolini
Dynamics of cardiac atrial fibrillation
1999-01-01 D., Lacitignola; Kirchner, Michele; F., Gaita; R., Riccardi; L., Calò; R., Antolini
Status of the Milano Neutrino Mass Experiment with Thermal Detectors
1999-01-01 A., Nucciotti; A., Alessandrello; C., Brofferio; O., Cremonesi; E., Fiorini; A., Giuliani; Alessandro, Monfardini; M., Pavan; G., Pessina; E., Previtali; L., Zanotti; Margesin, Benno; Giorgio Umberto, Pignatel; Zen, Mario; J. W., Beeman; E. E., Haller
Micromachined Coplanar Waveguides: Design, Realization and Test up to 40 GHz.
1999-01-01 Giacomozzi, Flavio; Margesin, Benno; R., Marcelli; G., Bartolucci; S., Ciorciolini
The Effect of Stress Polarity on Positive Charging in Thin Gate Oxides
1999-01-01 Bellutti, Pierluigi; L., Eccel; Zorzi, Nicola
Development of silicon microheaters for chemoresistive gas sensors
1999-01-01 Sebastiano, Brida; Ferrario, Lorenza; Giacomozzi, Flavio; D., Giusti; Guarnieri, Vittorio; Margesin, Benno; Giorgio Umberto, Pignatel; Soncini, Giovanni; Alexey, Vasiliev; G., Verzellesi; Zen, Mario
Optimization of TMAH etching for MEMS
1999-01-01 Sebastiano, Brida; Ferrario, Lorenza; Guarnieri, Vittorio; Giacomozzi, Flavio; Margesin, Benno; G., Verzellesi; Zen, Mario
A digitally enhanced resolution technique for rotary encoder systems
1999-01-01 F., Cherchi; Gonzo, Lorenzo; V., Liberali; G., Torelli
A rotari encoder system with digitally increased resolution
1999-01-01 F., Cherchi; V., Liberali; G., Torelli; Simoni, Andrea
A CMOS monolithic optical head for high resolution position encoder
1999-01-01 Stoppa, David; Luca, Ravezzi; Dalla Betta, Gian Franco; Gottardi, Massimo; Soncini, Giovanni
Nomen est Omen: Analyzing the Language of Function Identifiers
1999-01-01 Caprile, Bruno Giovanni; Tonella, Paolo
Full Text Parsing using Cascades of Rules: an Information Extraction Perspective
1999-01-01 F., Ciravegna; Lavelli, Alberto
Fast Prototyping per la gestione dei piani di protezione civile
1999-01-01 Avesani, Paolo; C., Bortolotti; Mameli, Gianluca; R., De Col; Giunchiglia, Fausto; A., Celli; M., Perghem Gelmi
FACILE: Classifying Text Integrating Pattern Matching and Information Extraction
1999-01-01 F., Ciravegna; Lavelli, Alberto; Mana, Nadia; J., Matiasek; L., Gilardoni; S., Mazza; M., Ferraro; W. J., Balck; F., Rinaldi; D., Mowatt
The Development of Lexical Resources for Information Extraction from Text Combining WordNet and Dewey Decimal Classification
1999-01-01 Cavaglià, G.
A Novel Optical BI-Cell with Readout Circuitry
1999-01-01 Gonzo, Lorenzo; Gottardi, Massimo; Beraldin, Jean Angelo; Simoni, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Strong Cyclic Planning Revisited | 1-gen-1999 | M., Daniele; Traverso, Paolo; M. Y., Vardi | |
| Conformant Planning via Model Checking | 1-gen-1999 | Cimatti, Alessandro; Roveri, Marco | |
| Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees | 1-gen-1999 | S., Lapierre; E., Merlo; G., Savard; G., Antoniol; R., Fiutem; Tonella, Paolo | |
| Conformant Planning via Model Checking | 1-gen-2000 | Cimatti, Alessandro; Roveri, Marco | |
| Mechanoelectric transduction in the isolated cardiac cell: the effects of swelling | 1-gen-1999 | A., Facchinelli; Ravelli, Flavia; S., Lasta; E., D'Amato; R., Antolini | |
| Dynamics of cardiac atrial fibrillation | 1-gen-1999 | D., Lacitignola; Kirchner, Michele; F., Gaita; R., Riccardi; L., Calò; R., Antolini | |
| Status of the Milano Neutrino Mass Experiment with Thermal Detectors | 1-gen-1999 | A., Nucciotti; A., Alessandrello; C., Brofferio; O., Cremonesi; E., Fiorini; A., Giuliani; Alessandro, Monfardini; M., Pavan; G., Pessina; E., Previtali; L., Zanotti; Margesin, Benno; Giorgio Umberto, Pignatel; Zen, Mario; J. W., Beeman; E. E., Haller | |
| Micromachined Coplanar Waveguides: Design, Realization and Test up to 40 GHz. | 1-gen-1999 | Giacomozzi, Flavio; Margesin, Benno; R., Marcelli; G., Bartolucci; S., Ciorciolini | |
| The Effect of Stress Polarity on Positive Charging in Thin Gate Oxides | 1-gen-1999 | Bellutti, Pierluigi; L., Eccel; Zorzi, Nicola | |
| Development of silicon microheaters for chemoresistive gas sensors | 1-gen-1999 | Sebastiano, Brida; Ferrario, Lorenza; Giacomozzi, Flavio; D., Giusti; Guarnieri, Vittorio; Margesin, Benno; Giorgio Umberto, Pignatel; Soncini, Giovanni; Alexey, Vasiliev; G., Verzellesi; Zen, Mario | |
| Optimization of TMAH etching for MEMS | 1-gen-1999 | Sebastiano, Brida; Ferrario, Lorenza; Guarnieri, Vittorio; Giacomozzi, Flavio; Margesin, Benno; G., Verzellesi; Zen, Mario | |
| A digitally enhanced resolution technique for rotary encoder systems | 1-gen-1999 | F., Cherchi; Gonzo, Lorenzo; V., Liberali; G., Torelli | |
| A rotari encoder system with digitally increased resolution | 1-gen-1999 | F., Cherchi; V., Liberali; G., Torelli; Simoni, Andrea | |
| A CMOS monolithic optical head for high resolution position encoder | 1-gen-1999 | Stoppa, David; Luca, Ravezzi; Dalla Betta, Gian Franco; Gottardi, Massimo; Soncini, Giovanni | |
| Nomen est Omen: Analyzing the Language of Function Identifiers | 1-gen-1999 | Caprile, Bruno Giovanni; Tonella, Paolo | |
| Full Text Parsing using Cascades of Rules: an Information Extraction Perspective | 1-gen-1999 | F., Ciravegna; Lavelli, Alberto | |
| Fast Prototyping per la gestione dei piani di protezione civile | 1-gen-1999 | Avesani, Paolo; C., Bortolotti; Mameli, Gianluca; R., De Col; Giunchiglia, Fausto; A., Celli; M., Perghem Gelmi | |
| FACILE: Classifying Text Integrating Pattern Matching and Information Extraction | 1-gen-1999 | F., Ciravegna; Lavelli, Alberto; Mana, Nadia; J., Matiasek; L., Gilardoni; S., Mazza; M., Ferraro; W. J., Balck; F., Rinaldi; D., Mowatt | |
| The Development of Lexical Resources for Information Extraction from Text Combining WordNet and Dewey Decimal Classification | 1-gen-1999 | Cavaglià, G. | |
| A Novel Optical BI-Cell with Readout Circuitry | 1-gen-1999 | Gonzo, Lorenzo; Gottardi, Massimo; Beraldin, Jean Angelo; Simoni, Andrea |
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