Sfoglia per Serie
Modeling and Using Context - 10th International and interdisciplinary Conference, CONTEX 2017, Paris, France, June 20-23, 2017, proceedings
2017-01-01 Penco, Carlo; Brezillon, Patrick; Turner, Roy
Modelling and Optimization of the Air Operational Manoeuvre
2019-01-01 Bruzzone, A. G.; Prochazka, J.; Kutej, L.; Prochazka, D.; Kozubek, J.; Scurek, R.
Monotone Literals and Learning in QBF Reasoning
2004-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
The Multi-Engine ASP Solver ME-ASP
2012-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Multi-level Algorithm Selection for ASP.
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Multi-resolution Cell Complexes Based on Homology-Preserving Euler Operators
2013-01-01 Comic, Lidija; DE FLORIANI, Leila; Iuricich, Federico
Multiple classifier systems for adversarial classification task (Lecture Notes in Computer Science (2009) 5519, (132141))
2010-01-01 Biggio, B.; Fumera, G.; Roli, F.
A Novel Information Fusion Approach for Supporting Shadow Detection in Dynamic Environments
2015-01-01 Cuzzocrea, Alfredo; Mumolo, Enzo; Moro, Alessandro; Umeda, Kazunori; Vercelli, Gianni
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
2002-01-01 Cimatti, A; Clarke, E; Giunchiglia, Enrico; Giunchiglia, F; Pistore, M; Roveri, M; Sebastiani, R; Tacchella, Armando
On enactability of agent interaction protocols: Towards a unified approach
2020-01-01 Ferrando, A.; Winikoff, M.; Cranefield, S.; Dignum, F.; Mascardi, V.
On the Difficulty of Computing the Truck Factor
2011-01-01 Ricca, Filippo; A., Marchetto; M., Torchiano
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
2013-01-01 Negri, S
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
2005-01-01 Giunchiglia, Enrico; Maratea, Marco
On the Evaluation of Video-Based Crowd Counting Models
2022-01-01 Ledda, E.; Putzu, L.; Delussu, R.; Fumera, G.; Roli, F.
On-Chip Ego-Motion Estimation Based on Optical Flow
2011-01-01 VANEGAS HERNANDEZ, MAURICIO DE JESUS; Leonardo, Rubio; Matteo, Tomasi; Javier, Diaz; Eduardo, Ros
One-shot learning for real-time action recognition.
2013-01-01 Fanello, SEAN RYAN; Gori, Ilaria; Metta, Giorgio; Odone, Francesca
Ontology Adaptation upon Updates
2013-01-01 Solimando, Alessandro; Guerrini, Giovanna
An ontology for historical research documents
2015-01-01 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles
2009-01-01 DE AMBROSI, Cristina; Ghersi, Chiara; Tacchella, Armando
OPTSAT: A Tool for Solving SAT Related Optimization Problems
2006-01-01 Giunchiglia, Enrico; Maratea, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Modeling and Using Context - 10th International and interdisciplinary Conference, CONTEX 2017, Paris, France, June 20-23, 2017, proceedings | 1-gen-2017 | Penco, Carlo; Brezillon, Patrick; Turner, Roy | |
| Modelling and Optimization of the Air Operational Manoeuvre | 1-gen-2019 | Bruzzone, A. G.; Prochazka, J.; Kutej, L.; Prochazka, D.; Kozubek, J.; Scurek, R. | |
| Monotone Literals and Learning in QBF Reasoning | 1-gen-2004 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| The Multi-Engine ASP Solver ME-ASP | 1-gen-2012 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| Multi-level Algorithm Selection for ASP. | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| Multi-resolution Cell Complexes Based on Homology-Preserving Euler Operators | 1-gen-2013 | Comic, Lidija; DE FLORIANI, Leila; Iuricich, Federico | |
| Multiple classifier systems for adversarial classification task (Lecture Notes in Computer Science (2009) 5519, (132141)) | 1-gen-2010 | Biggio, B.; Fumera, G.; Roli, F. | |
| A Novel Information Fusion Approach for Supporting Shadow Detection in Dynamic Environments | 1-gen-2015 | Cuzzocrea, Alfredo; Mumolo, Enzo; Moro, Alessandro; Umeda, Kazunori; Vercelli, Gianni | |
| NuSMV 2: An OpenSource Tool for Symbolic Model Checking | 1-gen-2002 | Cimatti, A; Clarke, E; Giunchiglia, Enrico; Giunchiglia, F; Pistore, M; Roveri, M; Sebastiani, R; Tacchella, Armando | |
| On enactability of agent interaction protocols: Towards a unified approach | 1-gen-2020 | Ferrando, A.; Winikoff, M.; Cranefield, S.; Dignum, F.; Mascardi, V. | |
| On the Difficulty of Computing the Truck Factor | 1-gen-2011 | Ricca, Filippo; A., Marchetto; M., Torchiano | |
| On the Duality of Proofs and Countermodels in Labelled Sequent Calculi | 1-gen-2013 | Negri, S | |
| On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) | 1-gen-2005 | Giunchiglia, Enrico; Maratea, Marco | |
| On the Evaluation of Video-Based Crowd Counting Models | 1-gen-2022 | Ledda, E.; Putzu, L.; Delussu, R.; Fumera, G.; Roli, F. | |
| On-Chip Ego-Motion Estimation Based on Optical Flow | 1-gen-2011 | VANEGAS HERNANDEZ, MAURICIO DE JESUS; Leonardo, Rubio; Matteo, Tomasi; Javier, Diaz; Eduardo, Ros | |
| One-shot learning for real-time action recognition. | 1-gen-2013 | Fanello, SEAN RYAN; Gori, Ilaria; Metta, Giorgio; Odone, Francesca | |
| Ontology Adaptation upon Updates | 1-gen-2013 | Solimando, Alessandro; Guerrini, Giovanna | |
| An ontology for historical research documents | 1-gen-2015 | Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca | |
| An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles | 1-gen-2009 | DE AMBROSI, Cristina; Ghersi, Chiara; Tacchella, Armando | |
| OPTSAT: A Tool for Solving SAT Related Optimization Problems | 1-gen-2006 | Giunchiglia, Enrico; Maratea, Marco |
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