519 search results - page 41 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
CCL
1994
Springer
13 years 12 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
GIS
2000
ACM
13 years 7 months ago
2000
ACM
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
Since navigation systems and tracking devices are becoming ubiquitous in our daily life, the development of efficient methods for processing massive sets of mobile objects are of ...
GIS
2010
ACM
13 years 5 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...