SCAGNETTO, Ivan

SCAGNETTO, Ivan  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 54 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
A context-aware retrieval system for mobile applications 1-gen-2014 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; I., Zanello
A Framework for Typed HOAS and Semantics 1-gen-2003 Miculan, Marino; Scagnetto, Ivan
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.
A Conditional Logical Framework 1-gen-2008 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; 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
The Context-Aware Browser 1-gen-2010 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Menegon, D; Mischis, D; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, L.
A distributed infrastructure for publishing VO services: An implementation 1-gen-2016 Cepparo, Francesco; Scagnetto, Ivan; Molinaro, Marco; Smareglia, Riccardo
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
The ∆-framework 1-gen-2018 Honsell, F.; Liquori, L.; Stolze, C.; Scagnetto, I.
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 1-gen-2015 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
Implementing cantor’s paradise 1-gen-2016 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; Paolo Zandegiacomo, Riziò
Internal Adequacy of Bookkeeping in Coq 1-gen-2014 Ciaffaglione, Alberto; Scagnetto, Ivan