3446 search results - page 250 / 690 » A Reasoning Algorithm for pD* |
148
click to vote
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
This paper presents an algorithm for tree-based representation of single images and its applications to segmentation and filtering with depth. In a our recent work, we have addres...
264
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
Moving point object data can be analyzed through the discovery of patterns. We consider the computational efficiency of detecting four such spatio-temporal patterns, namely flock,...
287
click to vote
GIS
2005
ACM
16 years 6 months ago
2005
ACM
Georeferenced information is growing every day, and geographical information systems are becoming crucial in many decision processes. As a consequence, extracting knowledge from G...
169
click to vote
ICML
2008
IEEE
16 years 6 months ago
2008
IEEE
In inductive logic programming, subsumption is a widely used coverage test. Unfortunately, testing -subsumption is NP-complete, which represents a crucial efficiency bottleneck fo...
255
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...