3456 search results - page 235 / 692 » Algorithms for Interface Synthesis |
152
Voted
SI3D
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
129
Voted
CONSTRAINTS
1998
15 years 2 months ago
1998
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...
104
Voted
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
MM
2003
ACM
15 years 7 months ago
2003
ACM
The FXPAL Photo Application is designed to faciliate the organization of digital images from digital cameras and other sources through automated organization and intuitive user in...
116
Voted
TIDSE
2004
Springer
15 years 8 months ago
2004
Springer
Achieving a successful Interactive Drama where the user can act as a character in the story requires not only finding an algorithmic solution for combining interactivity and narrat...