3251 search results - page 131 / 651 » Dynamic User Modeling for Sketch-Based User Interface |
121
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
124
Voted
HCI
2007
15 years 4 months ago
2007
Sketching interface, as a user-friendly means for expression and communication, is not only an important medium for inputting 3D objects, but also a significant step of visualizing...
215
Voted
CGF
2011
14 years 7 months ago
2011
Maintaining both overview and detail while navigating in graphs, such as road networks, airline route maps, or social networks, is difficult, especially when targets of interest ...
105
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
The ability to recognize emotions is an important part of building intelligent computers. Emotionally-aware systems would have a rich context from which to make appropriate decisi...
141
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
We introduce dynamic physical properties as an additional degree of freedom for passive tabletop controls. Using electromagnetic actuation, we manipulate attributes of tangibles o...