Sciweavers

8499 search results - page 185 / 1700
» cans 2009
Sort
View
ICLP
2009
Springer
16 years 7 months ago
Answer Set Programming with Constraints Using Lazy Grounding
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
Agostino Dovier, Alessandro Dal Palù, Enric...
STOC
2009
ACM
107views Algorithms» more  STOC 2009»
16 years 7 months ago
Efficient discrete-time simulations of continuous-time quantum query algorithms
The continuous-time query model is a variant of the discrete query model in which queries can be interleaved with known operations (called "driving operations") continuo...
Richard Cleve, Daniel Gottesman, Michele Mosca, Ro...
CHI
2009
ACM
16 years 7 months ago
On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners
In this paper, we argue that HCI practitioners are facing new challenges in design and evaluation that can benefit from the establishment of commonly valued use qualities, with as...
Katherine Isbister, Kristina Höök
CHI
2009
ACM
16 years 7 months ago
Graspables: grasp-recognition as a user interface
The Graspables project is an exploration of how measuring the way people hold and manipulate objects can be used as a user interface. As computational ability continues to be impl...
Brandon T. Taylor, V. Michael Bove Jr.
CHI
2009
ACM
16 years 7 months ago
Give peace a chance: a call to design technologies for peace
Peace is an extremely important value for humankind, yet it has been largely ignored by the computing and human-computer interaction community. This paper seeks to begin a discuss...
Juan Pablo Hourcade