5243 search results - page 354 / 1049 » Reasoning About Strategies |
161
click to vote
CIVR
2004
Springer
16 years 7 days ago
2004
Springer
One of the challenges in image and video retrieval is the content-based retrieval of images and videos in the web. Less work has been done in this area, mainly due to scalability i...
190
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show...
155
Voted
CGI
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper we describe a strategy for efficient predictive compression of texture coordinates. Previous works in mesh compression often claim that this mesh property can simpl...
188
click to vote
ASP
2003
Springer
16 years 2 days ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
143
click to vote
PPAM
2001
Springer
15 years 11 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...