Sciweavers

2477 search results - page 77 / 496
» First-Order Interactive Programming
Sort
View
IWEC
2004
13 years 9 months ago
The Design and Implementation of Multi-player Card Games on Multi-user Interactive Tabletop Surfaces
We present the design and implementation of a card game architecture for mulit-user interactive tabletop surfaces. Our system is built on the DiamondTouch, a touch-sensitive input ...
Shwetak N. Patel, John A. Bunch, Kyle D. Forkner, ...
ITP
2010
178views Mathematics» more  ITP 2010»
13 years 9 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
RC
2000
99views more  RC 2000»
13 years 7 months ago
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations
Conventional plotting programs adopt techniques such as adaptive sampling to approximate, but not to guarantee, correctness and completeness in graphing functions. Moreover, implic...
Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
TVCG
2010
194views more  TVCG 2010»
13 years 6 months ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock
ICMCS
2005
IEEE
89views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Interactivity and Multimodality in the IMIX Demonstrator
It is generally acknowledged that many experts and almost all lay persons have difficulty in formulating requests for information in such a manner that conventional off-line Infor...
Lou Boves, Els den Os