Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
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
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
2011-01-01 Maratea, Marco; Pulina, Luca
PADDLE: Proximal Algorithm for Dual Dictionaries LEarning
2011-01-01 Basso, Curzio; Santoro, M; Verri, Alessandro; Villa, Silvia
Parallel hybrid particle swarm optimization and applications in geotechnical engineering
2009-01-01 Zhang, Y.; Gallipoli, D.; Augarde, C.
Parameterized Verification of Broadcast Networks of Register Automata
2013-01-01 Delzanno, Giorgio; A., Sangnier; R., Traverso
Paths for Cognitive Rehabilitation: From Reality to Educational Software, to Serious Games, to Reality Again
2014-01-01 Curatelli, Francesco; Martinengo, Chiara; Bellotti, Francesco; Berta, Riccardo
Performance evaluation of an adaptive ant colony optimization applied to single machine scheduling
2008-01-01 Anghinolfi, Davide; Boccalatte, Antonio; Paolucci, Massimo; Vecchiola, C.
Planning multiservice VPN networks: an analytical/simulative mechanism to dimension the bandwidth assignments
2005-01-01 Bolla, Raffaele; Bruschi, R; Davoli, Franco
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling
2011-01-01 F. D., Cerbo; G., Dodero; Reggio, Gianna; Ricca, Filippo; G., Scanniello
Predicting Tennis Match Outcomes with Network Analysis and Machine Learning
2021-01-01 Bayram, Firas; Garbarino, Davide; Barla, Annalisa
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