143 search results - page 13 / 29 » Combination of Among and Cardinality Constraints |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
EOR
2008
13 years 11 months ago
2008
In this paper we study a rich vehicle routing problem incorporating various complexities found in real-life applications. The General Vehicle Routing Problem (GVRP) is a combined ...
ASWC
2008
Springer
14 years 27 days ago
2008
Springer
Abstract. Enabling a system to automatically conceptualize and annotate a human-readable table is one way to create interesting semanticweb content. But exactly "how?" is...
CVPR
2006
IEEE
15 years 28 days ago
2006
IEEE
In this paper, we present a novel approach to learning semantic localized patterns with binary projections in a supervised manner. The pursuit of these binary projections is refor...
109
click to vote
ICDE
2004
IEEE
15 years 8 days ago
2004
IEEE
Twig queries represent the building blocks of declarative query languages over XML data. A twig query describes a complex traversal of the document graph and generates a set of el...