3251 search results - page 242 / 651 » Dynamic User Modeling for Sketch-Based User Interface |
182
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
133
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
This paper describes a system that uses a camera and a point light source to track a user's hand in three dimensions. Using depth cues obtained from projections of the hand a...
153
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
203
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We present a system, ConEx, for monitoring query execution in a relational database management system. ConEx offers a unified view of query execution, providing continuous visual ...
152
click to vote
INFOVIS
1999
IEEE
15 years 8 months ago
1999
IEEE
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...