Sciweavers

1983 search results - page 180 / 397
» User Interface Modelling with UML
Sort
View
113
Voted
CAD
2006
Springer
15 years 3 months ago
A curvature estimation for pen input segmentation in sketch-based modeling
A proper segmentation of pen marking enhances shape recognition and enables a natural interface for sketch-based modeling from simple line drawing tools to 3D solid modeling appli...
Dae Hyun Kim, Myoung-Jun Kim
CHI
2006
ACM
16 years 4 months ago
Integrating models of human-computer visual interaction
Predicting visual search behavior in human-computer interaction is a challenging problem. It is important for predictive modeling of human-computer interaction to integrate the vi...
Tim Halverson
FMOODS
2007
15 years 5 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
124
Voted
IUI
2009
ACM
16 years 19 days ago
A probabilistic mental model for estimating disruption
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
Bowen Hui, Grant Partridge, Craig Boutilier
181
Voted
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 7 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
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...
Ramesh Bharadwaj, Steve Sims