99 search results - page 5 / 20 » Scott's problem for Proper Scott sets |
UIST
1999
ACM
15 years 1 months ago
1999
ACM
Most current interface designs require that the user focus their attention on them in order to be of value. However, as the price of computation falls, and computational capabilit...
WICSA
2004
14 years 10 months ago
2004
Distributed applications that lack a central, trustworthy authority for control and validation are properly termed decentralized. Multiple, independent agencies, or "partners...
FLAIRS
2003
14 years 10 months ago
2003
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to a set of constraints. While solving a CSP is an ...
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
ICALP
1999
Springer
15 years 1 months ago
1999
Springer
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...