Search For:

Displaying 1-3 out of 3 total
The Context-Aware Browser
Found in: IEEE Intelligent Systems
By Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
Issue Date:January 2010
pp. 38-47
<p>The Context-Aware Browser for mobile devices senses the surrounding environment, infers the user's current context, and proactively searches for and activates relevant Web documents and applications.</p>
LFP: a logical framework with external predicates
Found in: Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice (LFMTP '12)
By Furio Honsell, Ivan Scagnetto, Luigi Liquori, Marina Lenisa, Petar Maksimovic
Issue Date:September 2012
pp. 13-22
The LFP Framework is an extension of the Harper-Honsell-Plotkin's Edinburgh Logical Framework LF with external predicates. This is accomplished by defining lock type constructors, which are a sort of diamond-modality constructors, releasing their argument ...
Is semitransparency useful for navigating virtual environments?
Found in: Proceedings of the ACM symposium on Virtual reality software and technology (VRST '01)
By Ivan Scagnetto, Luca Chittaro
Issue Date:November 2001
pp. 159-166
A relevant issue for any Virtual Environment (VE) is the navigational support provided to users who are exploring it. Semitransparency is sometimes exploited as a means to see through occluding surfaces with the aim of improving user navigation abilities a...