Formal Safety Assessment via Contract-Based Design.
2014-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case
2014-01-01 Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano
Discovering Speech Acts in Online Discussions: A Tool-supported method
2014-01-01 Morales Ramirez, Itzel; Perini, Anna
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Automated Activity Recognition in Clinical Documents
2013-01-01 Thorne, C.; Cardillo, Elena; Eccher, Claudio; Montali, M.; Calvanese, D.
Web visualization of complex reality-based 3D models with NUBES
2013-01-01 Jiménez Fernández Palacios, B.; Stefani, C.; Lombardo, J.; De Luca, L.; Remondino, Fabio
Building footprints extraction from oblique imagery
2013-01-01 Nex, Francesco Carlo; Rupnik, E.; Remondino, Fabio
Design and implement a reality-based 3D digitisation and modelling project
2013-01-01 Remondino, Fabio; Menna, Fabio; Koutsoudis, A.; Chamzas, C.; El Hakim, S.
Feature-based automatic 3D registration for cultural heritage applications
2013-01-01 Tombari, F.; Remondino, Fabio
Dense image matching: comparisons and analyses
2013-01-01 Remondino, Fabio; Spera, M. G.; Nocerino, Erica; Menna, Fabio; Nex, Francesco Carlo; Gonizzi Barsanti, S.
Integration of spectral information and photogrammetric DSM for urban areas classification
2013-01-01 Nex, Francesco Carlo; Dalla, Mura; Remondino, Fabio
DISTRIBUTED M-CHP GENERATION FORM A SMALL SCALE CONCENTRATED SOLAR POWER
2014-01-01 Crema, Luigi; Alberti, Fabrizio; Roccabruna, Mattia
Assessment of ORDYL SY 355 dry film for RF MEMS 0-level packaging
2014-01-01 Giacomozzi, Flavio; Mattedi, Francesca; Farinelli, P.; Margesin, Benno; Resta, Giuseppe; Mulloni, Viviana
Nonlinearly Realized Gauge Theories for LHC Physics
2013-01-01 Daniele, Bettinelli; Binosi, Daniele; Andrea, Quadri
Pervasive Stress Recognition for Sustainable Living
2014-01-01 Bogomolov, A.; Lepri, Bruno; Ferron, Michela; Pianesi, Fabio; Pentland, A.
Predicting Spending Behavior Using Socio-Mobile Features
2013-01-01 Singh, V. K.; Freeman, L.; Lepri, Bruno; Pentland, A.
Money Walks: A Human-Centric Study on the Economics of Personal Mobile Data
2014-01-01 Staiano, Jacopo; Oliver, N.; Lepri, Bruno; de Oliveira, R.; Caraviello, M.; Sebe, N.
Ego-Centric Graphlets for Personality and Affective States Recognition
2013-01-01 Teso, S.; Staiano, Jacopo; Lepri, Bruno; Passerini, A.; Pianesi, Fabio
Inferring Social Activities with Mobile Sensor Network
2013-01-01 Do, T. M. T.; Kalimeri, Kyriaki; Lepri, Bruno; Pianesi, Fabio; Gatica Perez, D.
Happiness Recognition from Mobile Phone Data
2013-01-01 Bogomolov, A.; Lepri, Bruno; Pianesi, Fabio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal Safety Assessment via Contract-Based Design. | 1-gen-2014 | Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano | |
| Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case | 1-gen-2014 | Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano | |
| Discovering Speech Acts in Online Discussions: A Tool-supported method | 1-gen-2014 | Morales Ramirez, Itzel; Perini, Anna | |
| Verifying LTL Properties of Hybrid Systems with K-Liveness | 1-gen-2014 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
| Automated Activity Recognition in Clinical Documents | 1-gen-2013 | Thorne, C.; Cardillo, Elena; Eccher, Claudio; Montali, M.; Calvanese, D. | |
| Web visualization of complex reality-based 3D models with NUBES | 1-gen-2013 | Jiménez Fernández Palacios, B.; Stefani, C.; Lombardo, J.; De Luca, L.; Remondino, Fabio | |
| Building footprints extraction from oblique imagery | 1-gen-2013 | Nex, Francesco Carlo; Rupnik, E.; Remondino, Fabio | |
| Design and implement a reality-based 3D digitisation and modelling project | 1-gen-2013 | Remondino, Fabio; Menna, Fabio; Koutsoudis, A.; Chamzas, C.; El Hakim, S. | |
| Feature-based automatic 3D registration for cultural heritage applications | 1-gen-2013 | Tombari, F.; Remondino, Fabio | |
| Dense image matching: comparisons and analyses | 1-gen-2013 | Remondino, Fabio; Spera, M. G.; Nocerino, Erica; Menna, Fabio; Nex, Francesco Carlo; Gonizzi Barsanti, S. | |
| Integration of spectral information and photogrammetric DSM for urban areas classification | 1-gen-2013 | Nex, Francesco Carlo; Dalla, Mura; Remondino, Fabio | |
| DISTRIBUTED M-CHP GENERATION FORM A SMALL SCALE CONCENTRATED SOLAR POWER | 1-gen-2014 | Crema, Luigi; Alberti, Fabrizio; Roccabruna, Mattia | |
| Assessment of ORDYL SY 355 dry film for RF MEMS 0-level packaging | 1-gen-2014 | Giacomozzi, Flavio; Mattedi, Francesca; Farinelli, P.; Margesin, Benno; Resta, Giuseppe; Mulloni, Viviana | |
| Nonlinearly Realized Gauge Theories for LHC Physics | 1-gen-2013 | Daniele, Bettinelli; Binosi, Daniele; Andrea, Quadri | |
| Pervasive Stress Recognition for Sustainable Living | 1-gen-2014 | Bogomolov, A.; Lepri, Bruno; Ferron, Michela; Pianesi, Fabio; Pentland, A. | |
| Predicting Spending Behavior Using Socio-Mobile Features | 1-gen-2013 | Singh, V. K.; Freeman, L.; Lepri, Bruno; Pentland, A. | |
| Money Walks: A Human-Centric Study on the Economics of Personal Mobile Data | 1-gen-2014 | Staiano, Jacopo; Oliver, N.; Lepri, Bruno; de Oliveira, R.; Caraviello, M.; Sebe, N. | |
| Ego-Centric Graphlets for Personality and Affective States Recognition | 1-gen-2013 | Teso, S.; Staiano, Jacopo; Lepri, Bruno; Passerini, A.; Pianesi, Fabio | |
| Inferring Social Activities with Mobile Sensor Network | 1-gen-2013 | Do, T. M. T.; Kalimeri, Kyriaki; Lepri, Bruno; Pianesi, Fabio; Gatica Perez, D. | |
| Happiness Recognition from Mobile Phone Data | 1-gen-2013 | Bogomolov, A.; Lepri, Bruno; Pianesi, Fabio |
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 ...7937
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261561
- 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
- eng6441
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6823
- open482
- restricted464
- reserved165
- partially open2
- mixed1