Sciweavers

2685 search results - page 41 / 537
» Modeling task experience in user assistance systems
Sort
View
TACAS
2004
Springer
139views Algorithms» more  TACAS 2004»
14 years 2 months ago
Error Explanation with Distance Metrics
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
Alex Groce
IBMSJ
2000
108views more  IBMSJ 2000»
13 years 8 months ago
Context-aware design and interaction in computer systems
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...
Ted Selker, Winslow Burleson
ACL
2009
13 years 6 months ago
Setting Up User Action Probabilities in User Simulations for Dialog System Development
User simulations are shown to be useful in spoken dialog system development. Since most current user simulations deploy probability models to mimic human user behaviors, how to se...
Hua Ai, Diane J. Litman
VRST
2009
ACM
14 years 3 months ago
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
Arranging 3D objects in Virtual Environments can be a complex, error prone and time consuming task, especially for users who are not familiar with interfaces for 3D navigation and...
Luca Chittaro, Roberto Ranon, Lucio Ieronutti
ADAEUROPE
2007
Springer
14 years 3 months ago
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
Frank Singhoff, Alain Plantec