3623 search results - page 262 / 725 » Functionally Modeled User Interfaces |
148
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
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...
173
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
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...
186
click to vote
FMOODS
2007
15 years 7 months ago
2007
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...
217
click to vote
TACAS
2000
Springer
15 years 10 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...
173
click to vote
ISICT
2003
15 years 7 months ago
2003
The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...