Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 126 a 145 di 247
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
Mostrati risultati da 126 a 145 di 247
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