4617 search results - page 826 / 924 » Automation of Diagrammatic Reasoning |
171
click to vote
GIS
2007
ACM
16 years 1 months ago
2007
ACM
As technology advances we encounter more available data on moving objects, thus increasing our ability to mine spatiotemporal data. We can use this data for learning moving object...
172
click to vote
ICCBR
2007
Springer
16 years 1 months ago
2007
Springer
Current efficient planners employ an informed search guided by a heuristic function that is quite expensive to compute. Thus, ordering nodes in the search tree becomes a key issue,...
183
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
203
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
193
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...