Sciweavers

8450 search results - page 288 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
15 years 8 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 8 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 8 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...
AMR
2006
Springer
118views Multimedia» more  AMR 2006»
15 years 8 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 8 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