Stebėti
Ivan Scagnetto
Ivan Scagnetto
Patvirtintas el. paštas uniud.it
Pavadinimas
Cituota
Cituota
Metai
π-calculus in (co) inductive-type theory
F Honsell, M Miculan, I Scagnetto
Theoretical computer science 253 (2), 239-285, 2001
1432001
The context-aware browser
P Coppola, V Della Mea, L Di Gaspero, D Menegon, D Mischis, S Mizzaro, ...
IEEE Intelligent Systems 25 (1), 38-47, 2010
722010
Is semitransparency useful for navigating virtual environments?
L Chittaro, I Scagnetto
Proceedings of the ACM symposium on Virtual reality software and technology …, 2001
602001
An axiomatic approach to metareasoning on nominal algebras in HOAS
F Honsell, M Miculan, I Scagnetto
Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001
502001
MoBe: a framework for context-aware mobile applications
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proc. CAPS 5, 55-66, 2005
442005
Consistency of the theory of contexts
A Bucalo, F Honsell, M Miculan, I Scagnetto, M Hoffman
Journal of Functional Programming 16 (3), 327-372, 2006
422006
A framework for typed HOAS and semantics
M Miculan, I Scagnetto
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
392003
An axiomatic approach to metareasoning on systems in higher-order abstract syntax
F Honsell, M Miculan, I Scagnetto
Proc. ICALP 1, 963-978, 2001
372001
Mobile information retrieval
F Crestani, S Mizzaro, I Scagnetto
Springer International Publishing, 2017
342017
Finding important locations: A feature-based approach
M Pavan, S Mizzaro, I Scagnetto, A Beggiato
2015 16th IEEE International Conference on Mobile Data Management 1, 110-115, 2015
332015
AI techniques in a context-aware ubiquitous environment
P Coppola, VD Mea, L Di Gaspero, R Lomuscio, D Mischis, S Mizzaro, ...
Pervasive computing: innovations in intelligent multimedia and applications …, 2010
252010
Content-based similarity of twitter users
S Mizzaro, M Pavan, I Scagnetto
Advances in Information Retrieval: 37th European Conference on IR Research …, 2015
242015
Short text categorization exploiting contextual enrichment and external knowledge
S Mizzaro, M Pavan, I Scagnetto, M Valenti
Proceedings of the first international workshop on Social media retrieval …, 2014
182014
MoBe: context-aware mobile applications on mobile devices for mobile users
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proceedings of the International Workshop on Exploiting Context Histories in …, 2005
172005
LFP a logical framework with external predicates
F Honsell, M Lenisa, L Liquori, P Maksimovic, I Scagnetto
Proceedings of the seventh international workshop on Logical frameworks and …, 2012
162012
Information filtering and retrieving of context-aware applications within the mobe framework
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proceedings of CIR 2005-International Workshop on Context-Based Information …, 2005
162005
Ambient calculus and its logic in the calculus of inductive constructions
I Scagnetto, M Miculan
Electronic Notes in Theoretical Computer Science 70 (2), 76-95, 2002
152002
Reasoning about names in higher-order abstract syntax
I Scagnetto, F Honsell
Forum, 2002
152002
The theory of contexts for first order and higher order abstract syntax
F Honsell, M Miculan, I Scagnetto
Electronic Notes in Theoretical Computer Science 62, 116-135, 2002
142002
An integrated low-cost system for object detection in underwater environments
GL Foresti, I Scagnetto
Integrated Computer-Aided Engineering 29 (2), 123-139, 2022
132022
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20