4617 search results - page 591 / 924 » Automation of Diagrammatic Reasoning |
247
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a novel method to process large scale, ground level Light Detection and Ranging (LIDAR) data to automatically detect geo-referenced navigation attributes (traf...
207
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...
186
Voted
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
198
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Collaborative Web Search (CWS) proposes a case-based approach to personalizing search results for the needs of a community of like-minded searchers. The search activities...
195
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...