8094 search results - page 124 / 1619 » Improvements in Formula Generalization |
178
click to vote
FOCS
2006
IEEE
15 years 12 months ago
2006
IEEE
We extend the binary search technique to searching in trees. We consider two models of queries: questions about vertices and questions about edges. We present a general approach t...
190
click to vote
MIAR
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents a general learning framework for non-rigid registration of MR brain images. Given a set of training MR brain images, three major types of information are partic...
157
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...
163
click to vote
ACNS
2003
Springer
15 years 11 months ago
2003
Springer
Key exposures, known or inconspicuous, are a real security threat. Recovery mechanisms from such exposures are required. For digital signatures such a recovery should ideally —an...
171
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...