1632 search results - page 256 / 327 » Topological Analysis of Refinement |
95
Voted
CADE
2005
Springer
15 years 11 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
IUI
2010
ACM
15 years 7 months ago
2010
ACM
We present two studies that evaluate the accuracy of human responses to an intelligent agent’s data classification questions. Prior work has shown that agents can elicit accurat...
ICCV
2007
IEEE
15 years 5 months ago
2007
IEEE
In this study, we address the problem of 3-D dense metric reconstruction and registration from multiple images, given that the observed surface is nearly planar. This is difficult...
86
Voted
MM
2006
ACM
15 years 4 months ago
2006
ACM
In the area of image retrieval, post-retrieval processing is often used to refine the retrieval results to better satisfy users’ requirements. Previous methods mainly focus on p...
87
Voted
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
– Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environmen...