Sciweavers

578 search results - page 3 / 116
» Making PRIME usable
Sort
View
CAD
2004
Springer
13 years 7 months ago
Making constraint solvers more usable: overconstraint problem
Christoph M. Hoffmann, Meera Sitharam, Bo Yuan
AAAI
2008
13 years 10 months ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu
CHI
2006
ACM
14 years 8 months ago
Making memories: applying user input logs to interface design and evaluation
In this paper, we describe our approach to designing interface components that automate the logging of user input. These recorded logs of user-system interactions can serve as a b...
Tamara Babaian, Wendy T. Lucas, Heikki Topi