Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.521 a 4.540 di 7.939
Enhanced multidimensional spatial functions for unambiguous localization of multiple sparse acoustic sources
2012-01-01 Nesta, Francesco; Omologo, Maurizio
Environment-aware estimation of the orientation of acoustic sources using a line array
2012-01-01 Svaizer, Piergiorgio; Brutti, Alessio; Omologo, Maurizio
Convolutive underdetermined source separation through weighted interleaved ICA and spatio-temporal source correlation
2012-01-01 Nesta, Francesco; Omologo, Maurizio
Formal Verification of Data Provenance Records
2012-01-01 S., Klarman; S., Schlobach; Serafini, Luciano
Integrating consumer-oriented Vocabularies with selected professional ones from the UMLS using Semantic Web Technologies
2011-01-01 Cardillo, Elena; G., Hernandez; O., Bodenreider
Verification of Parametric System Designs
2012-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Broadening the Scope of SMT-COMP: the Application Track
2012-01-01 Roberto, Bruttomesso; Griggio, Alberto
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
2012-01-01 Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev
Deciding Floating-Point Logic with Systematic Abstraction
2012-01-01 Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening
Optimizing Monitoring Requirements in Self-adaptive Systems
2012-01-01 Raian, Ali; Griggio, Alberto; Anders, Franzen; Fabiano, Dalpiaz; Paolo, Giorgini
Effective word-level interpolation for software verification
2011-01-01 Griggio, Alberto
Software Model Checking via IC3
2012-01-01 Cimatti, Alessandro; Griggio, Alberto
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
2011-01-01 Griggio, Alberto; Quoc Sang, Phan; Roberto, Sebastiani; Silvia, Tomasi
A formal semantics for weighted ontology mappings.
2012-01-01 Manuel, Atencia; Alexander, Borgida; Jerome, Euzenat; Ghidini, Chiara; Serafini, Luciano
Ontology evolution with semantic wikis
2012-01-01 Dragoni, Mauro; Ghidini, Chiara
A modified RC-FDTD algorithm for plasmonics in Drude dispersive media
2012-01-01 Calà Lesina, Antonino; Vaccari, Alessandro; Bozzoli, Alessandro
An Adaptation Framework for Head Pose Estimation in Dynamic Multi-view Scenarios
2012-01-01 A., Rajagopal; R., Subramanian; R., Vieriu; Ricci, Elisa; Lanz, Oswald; N., Sebe; K., Ramakrishnan
Active Transfer Learning for Multi-View Head-Pose Classification
2012-01-01 Y., Yan; R., Subramanian; Lanz, Oswald; N., Sebe
A computational approach to the optical characterization of photonic crystals and photonic glasses
2012-01-01 Vaccari, Alessandro; Calà Lesina, Antonino; Cristoforetti, Luca; Chiappini, Andrea; Ferrari, Maurizio
Augmented Reality at FBK
2012-01-01 Chippendale, Paul Ian; Zanin, Michele; Andreatta, Claudio; Messelodi, Stefano; Lanz, Oswald
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Enhanced multidimensional spatial functions for unambiguous localization of multiple sparse acoustic sources | 1-gen-2012 | Nesta, Francesco; Omologo, Maurizio | |
| Environment-aware estimation of the orientation of acoustic sources using a line array | 1-gen-2012 | Svaizer, Piergiorgio; Brutti, Alessio; Omologo, Maurizio | |
| Convolutive underdetermined source separation through weighted interleaved ICA and spatio-temporal source correlation | 1-gen-2012 | Nesta, Francesco; Omologo, Maurizio | |
| Formal Verification of Data Provenance Records | 1-gen-2012 | S., Klarman; S., Schlobach; Serafini, Luciano | |
| Integrating consumer-oriented Vocabularies with selected professional ones from the UMLS using Semantic Web Technologies | 1-gen-2011 | Cardillo, Elena; G., Hernandez; O., Bodenreider | |
| Verification of Parametric System Designs | 1-gen-2012 | Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco | |
| Broadening the Scope of SMT-COMP: the Application Track | 1-gen-2012 | Roberto, Bruttomesso; Griggio, Alberto | |
| Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System | 1-gen-2012 | Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev | |
| Deciding Floating-Point Logic with Systematic Abstraction | 1-gen-2012 | Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening | |
| Optimizing Monitoring Requirements in Self-adaptive Systems | 1-gen-2012 | Raian, Ali; Griggio, Alberto; Anders, Franzen; Fabiano, Dalpiaz; Paolo, Giorgini | |
| Effective word-level interpolation for software verification | 1-gen-2011 | Griggio, Alberto | |
| Software Model Checking via IC3 | 1-gen-2012 | Cimatti, Alessandro; Griggio, Alberto | |
| Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT | 1-gen-2011 | Griggio, Alberto; Quoc Sang, Phan; Roberto, Sebastiani; Silvia, Tomasi | |
| A formal semantics for weighted ontology mappings. | 1-gen-2012 | Manuel, Atencia; Alexander, Borgida; Jerome, Euzenat; Ghidini, Chiara; Serafini, Luciano | |
| Ontology evolution with semantic wikis | 1-gen-2012 | Dragoni, Mauro; Ghidini, Chiara | |
| A modified RC-FDTD algorithm for plasmonics in Drude dispersive media | 1-gen-2012 | Calà Lesina, Antonino; Vaccari, Alessandro; Bozzoli, Alessandro | |
| An Adaptation Framework for Head Pose Estimation in Dynamic Multi-view Scenarios | 1-gen-2012 | A., Rajagopal; R., Subramanian; R., Vieriu; Ricci, Elisa; Lanz, Oswald; N., Sebe; K., Ramakrishnan | |
| Active Transfer Learning for Multi-View Head-Pose Classification | 1-gen-2012 | Y., Yan; R., Subramanian; Lanz, Oswald; N., Sebe | |
| A computational approach to the optical characterization of photonic crystals and photonic glasses | 1-gen-2012 | Vaccari, Alessandro; Calà Lesina, Antonino; Cristoforetti, Luca; Chiappini, Andrea; Ferrari, Maurizio | |
| Augmented Reality at FBK | 1-gen-2012 | Chippendale, Paul Ian; Zanin, Michele; Andreatta, Claudio; Messelodi, Stefano; Lanz, Oswald |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.521 a 4.540 di 7.939
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 ...7938
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261562
- 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 fulltext6824
- open482
- restricted464
- reserved165
- partially open2
- mixed1