519 search results - page 31 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
85
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
112
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
74
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
GIS
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we consider a traffic information sharing system based on Floating Car Data (FCD). FCD is one of the methods used to gather traffic information; it uses vehicles as...
118
Voted
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...