2229 search results - page 146 / 446 » The Case for Grounding Databases |
162
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
161
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
155
click to vote
PERCOM
2003
ACM
16 years 5 months ago
2003
ACM
The dynamism and heterogeneity in ubicomp environments on both short and long time scales implies that middleware platforms for these environments need to be designed ground up fo...
160
click to vote
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
In active learning, one attempts to maximize classifier performance for a given number of labeled training points by allowing the active learning algorithm to choose which points...
153
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
While the problem of tracking 3D human motion has been widely studied, most approaches have assumed that the person is isolated and not interacting with the environment. Environme...