5756 search results - page 892 / 1152 » Describing Objects by their Attributes |
138
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
We present a task-based taxonomy of navigation techniques for 3D virtual environments, used to categorize existing techniques, drive exploration of the design space, and inspire n...
260
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
155
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
202
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Main memory cache performance continues to play an important role in determining the overall performance of object-oriented, object-relational and XML databases. An effective metho...
245
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...