RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Efficient parallel statistical model checking of biochemical networks
2009-01-01 Ballarini, P.; Forlin, M.; Mazza, T.; Prandi, D.
Formal analysis of BPMN Via a translation into COWS
2008-01-01 Prandi, D.; Quaglia, P.; Zannone, N.
Design Considerations on the CREATE-NET Testbed
2005-01-01 Carreras, Iacopo; Grasso, R.; Kiraly, Csaba; Pera, S.; Woesner, Hagen; Ye, Yabin; Szabo, Csaba
Developing an hierarchical simulator for Beta-binders
2006-01-01 Himmelspach, J.; Lecca, P.; Prandi, D.; Priami, C.; Quaglia, P.; Uhrmacher, A.
A formal approach to molecular docking
2006-01-01 Prandi, D.
Real-Time Skin Labelling in Active Camera Images
2005-01-01 Chippendale, Paul Ian
Formal Analysis of Attacks for e-voting System
2009-01-01 Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo
A self-adapting high dynamic-range visual representation algorithm for AER imagers
2008-01-01 M., Tiziani; Massari, Nicola; S. A., Jawed; Gottardi, Massimo
Directing your own live and Interactive Sports Channel
2009-01-01 S., Poslad; A., Pnevmatikakis; M., Nunes; E., Ostermann; Chippendale, Paul Ian; P., Brightwell; C., Patrikakis
Use of Hidden Markov Models and Factored Language Models for Automatic Chord Recognition
2009-01-01 Khadkevich, Maksim; Omologo, Maurizio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Efficient parallel statistical model checking of biochemical networks | 1-gen-2009 | Ballarini, P.; Forlin, M.; Mazza, T.; Prandi, D. | |
Formal analysis of BPMN Via a translation into COWS | 1-gen-2008 | Prandi, D.; Quaglia, P.; Zannone, N. | |
Design Considerations on the CREATE-NET Testbed | 1-gen-2005 | Carreras, Iacopo; Grasso, R.; Kiraly, Csaba; Pera, S.; Woesner, Hagen; Ye, Yabin; Szabo, Csaba | |
Developing an hierarchical simulator for Beta-binders | 1-gen-2006 | Himmelspach, J.; Lecca, P.; Prandi, D.; Priami, C.; Quaglia, P.; Uhrmacher, A. | |
A formal approach to molecular docking | 1-gen-2006 | Prandi, D. | |
Real-Time Skin Labelling in Active Camera Images | 1-gen-2005 | Chippendale, Paul Ian | |
Formal Analysis of Attacks for e-voting System | 1-gen-2009 | Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo | |
A self-adapting high dynamic-range visual representation algorithm for AER imagers | 1-gen-2008 | M., Tiziani; Massari, Nicola; S. A., Jawed; Gottardi, Massimo | |
Directing your own live and Interactive Sports Channel | 1-gen-2009 | S., Poslad; A., Pnevmatikakis; M., Nunes; E., Ostermann; Chippendale, Paul Ian; P., Brightwell; C., Patrikakis | |
Use of Hidden Markov Models and Factored Language Models for Automatic Chord Recognition | 1-gen-2009 | Khadkevich, Maksim; Omologo, Maurizio |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 2454
- 4 Contributo in Atti di Convegno ... 2317
- 4 Contributo in Atti di Convegno ... 88
- 4 Contributo in Atti di Convegno ... 49
Data di pubblicazione
- 2009 400
- 2008 340
- 2007 266
- 2006 263
- 2005 250
- 2004 261
- 2003 200
- 2002 206
- 2001 136
- 2000 132
Editore
- IEEE 215
- Springer 150
- ACM 49
- ACL 36
- IEEE Computer Society 28
- CEUR-WS.org 20
- Springer Verlag 20
- ISCA 18
- AAAI Press 15
- IOS Press 15
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 16
- TECHNOLOGY AND HEALTH CARE 7
- IEEE ENGINEERING IN MEDICINE AND ... 4
- JOURNAL OF PHYSICS. CONFERENCE SE... 3
- PHYSICA. B, CONDENSED MATTER 3
- PROCEEDINGS OF SPIE, THE INTERNAT... 3
- EUROPEAN BIOPHYSICS JOURNAL WITH ... 2
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- MATERIALS RESEARCH SOCIETY SYMPOS... 2
- SENSORS AND ACTUATORS. A, PHYSICAL 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 8
- LECTURE NOTES OF THE INSTITUTE FO... 2
- CEUR WORKSHOP PROCEEDINGS 1
- I LIBRI DI VIELLA 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- NLP 35
- Content Processing 33
- automatic speech recognition 29
- silicon radiation detectors 26
- infrastructure 20
- BIOSUPERFICI 19
- model checking 18
- agent-oriented software engineering 16
- semantic Web 15
- planning 13
Lingua
- eng 1984
- ita 77
- ger 12
- fre 3
- spa 3
- enm 2
Accesso al fulltext
- no fulltext 2430
- reserved 17
- restricted 4
- open 3