3251 search results - page 511 / 651 » Dynamic User Modeling for Sketch-Based User Interface |
JAR
2006
14 years 10 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
84
Voted
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents a physics-based locomotion controller based on online planning. At each time-step, a planner optimizes locomotion over multiple phases of gait. Stance dynamics...
PVLDB
2010
14 years 8 months ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
100
click to vote
CA
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...