SCAGNETTO, Ivan

SCAGNETTO, Ivan  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 1-gen-2023 Cecchinato, N.; Scagnetto, I.; Toma, A.; Drioli, C.; Foresti, G. L.
A Conditional Logical Framework 1-gen-2008 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
A context-aware retrieval system for mobile applications 1-gen-2014 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; I., Zanello
A distributed infrastructure for publishing VO services: An implementation 1-gen-2016 Cepparo, Francesco; Scagnetto, Ivan; Molinaro, Marco; Smareglia, Riccardo
A Framework for Typed HOAS and Semantics 1-gen-2003 Miculan, Marino; Scagnetto, Ivan
A weak HOAS approach to the POPLmark Challenge 1-gen-2013 Ciaffaglione, Alberto; Scagnetto, Ivan
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 1-gen-2023 Affanni, A.; Casarsa, L.; Scagnetto, I.; Trevisan, F.
AI on the move: exploiting AI techniques for context inference on mobile devices 1-gen-2008 Bulfoni, Adolfo; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, Luca
AI Techniques in a Context-Aware Ubiquitous Environment 1-gen-2010 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Lomuscio, Raffaella; Mischis, Danny; Mizzaro, Stefano; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 1-gen-2002 Scagnetto, Ivan; Miculan, Marino
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
An integrated low-cost system for object detection in underwater environments 1-gen-2022 Foresti, G. L.; Scagnetto, I.
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 1-gen-2023 Cecchinato, N.; Toma, A.; Scagnetto, I.; Drioli, C.; Foresti, G. L.
An Open Logical Framework 1-gen-2016 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
Consistency of the Theory of Contexts 1-gen-2006 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Content-based similarity of Twitter users 1-gen-2015 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan
Context Aware Browser 1-gen-2009 Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Exploiting news to categorize tweets: Quantifying the impact of different news collections 1-gen-2016 Pavan, Marco; Mizzaro, Stefano; Bernardon, Matteo; Scagnetto, Ivan
Finding Important Locations: A Feature-based Approach 1-gen-2015 Pavan, Marco; Mizzaro, Stefano; Scagnetto, Ivan; Beggiato, Andrea
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 1-gen-2015 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan