Sciweavers

4902 search results - page 706 / 981
» Structures, Semantics and Statistics
Sort
View
AAAI
2007
15 years 9 months ago
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
Pascal Van Hentenryck, Laurent D. Michel
AAAI
2008
15 years 9 months ago
Decoding Wikipedia Categories for Knowledge Acquisition
This paper presents an approach to acquire knowledge from Wikipedia categories and the category network. Many Wikipedia categories have complex names which reflect human classific...
Vivi Nastase, Michael Strube
APN
2008
Springer
15 years 8 months ago
Faster Unfolding of General Petri Nets Based on Token Flows
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
ASWC
2008
Springer
15 years 8 months ago
Integrating Lightweight Reasoning into Class-Based Query Refinement for Object Search
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
Gong Cheng, Yuzhong Qu
ATAL
2008
Springer
15 years 8 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...