8647 search results - page 1276 / 1730 » The Container Selection Problem |
141
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
Mobile and wearable computers present input/output problems due to limited screen space and interaction techniques. When mobile, users typically focus their visual attention on na...
112
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
249
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Keyword search enables web users to easily access XML data without the need to learn a structured query language and to study possibly complex data schemas. Existing work has addr...
233
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
In recent years there has been considerable research on automated selection of physical design in database systems. In current solutions, candidate access paths are heuristically ...
152
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
We consider the problem of pipelined filters, where a continuous stream of tuples is processed by a set of commutative filters. Pipelined filters are common in stream applications...