4212 search results - page 612 / 843 » Rights Expression Languages |
144
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
159
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
178
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
129
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The stable marriage problem (SM) and the Hospital / Residents problem (HR) are both stable matching problems. They consist of two sets of objects that need to be matched ...
158
click to vote
CPAIOR
2005
Springer
16 years 2 days ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...