7988 search results - page 1164 / 1598 » A Useful Undecidable Theory |
156
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We investigate the use of two concurrent input channels to perform a pointing task. The first channel is the traditional mouse input device whereas the second one is the gaze posi...
161
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
A significant proportion of research in the field of tangible interaction involves children. A common aspiration is to offer benefits through tangibility, related to ease of use a...
210
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
Denial of service (DoS) attacks are arguably one of the most cumbersome problems in the Internet. This paper presents a distributed information system (over a set of completely co...
193
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
295
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...