Sciweavers

8450 search results - page 288 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
15 years 10 months ago
Interaction in Really Graphical User Interfaces
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
Gerhard Viehstaedt, Mark Minas
PERCOM
2010
ACM
15 years 10 months ago
Pervasive maps: Explore and interact with pervasive environments
—Efficient discovery of nearby devices and services is one of the preconditions to obtain a usable pervasive environment. Typical user interfaces in these environments hide the ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
HASKELL
2007
ACM
15 years 10 months ago
A lightweight interactive debugger for haskell
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
Simon Marlow, José Iborra, Bernard Pope, An...
179
Voted
AMR
2006
Springer
118views Multimedia» more  AMR 2006»
15 years 10 months ago
Interactive Museum Guide: Accurate Retrieval of Object Descriptions
In this paper we describe an interactive guide that is able to automatically retrieve information about objects on display in museums. A visitor can point this mobile device at exh...
Beat Fasel, Luc J. Van Gool
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 10 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider