4 search results - page 1 / 1 » Animation Support in a User Interface Toolkit: Flexible, Rob... |
UIST
1993
ACM
13 years 11 months ago
1993
ACM
UIST
1993
ACM
13 years 11 months ago
1993
ACM
n support in a user interface toolkit: flexible, robust, and reusable abstractions SE Hudson, JT Stasko - 1993 - ACM Press New York, NY, USA 62 1992: Two-handed gesture in multi-mo...
CHI
2000
ACM
14 years 6 hour ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...