4987 search results - page 234 / 998 » Support Ordered Resolution |
112
click to vote
ICIAP
1997
ACM
15 years 8 months ago
1997
ACM
—A major research subject in image databases is to support efficient and effective access to images based on their visual content. In color image databases, this requires to sup...
143
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
135
click to vote
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...
136
click to vote
IDEAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
141
click to vote
AMC
2007
15 years 4 months ago
2007
In the implementation of subdivision scheme, three of the most important issues are smoothness, size of support, and approximation order. Our objective is to introduce an improved...