4617 search results - page 632 / 924 » Automation of Diagrammatic Reasoning |
318
click to vote
GIS
2009
ACM
16 years 8 months ago
2009
ACM
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
301
Voted
GIS
2009
ACM
16 years 8 months ago
2009
ACM
Space- and time-referenced data published on the Web by general people can be viewed in a dual way: as independent spatiotemporal events and as trajectories of people in the geogr...
285
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
296
Voted
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
304
Voted
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...