1705 search results - page 58 / 341 » Representing Constraints with Automata |
CP
2007
Springer
14 years 3 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
We present a novel approach to representing and recognizing composite video events. A composite event is specified by a scenario, which is based on primitive events and their tem...
APIN
2006
13 years 9 months ago
2006
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
CORR
2011
Springer
13 years 22 days ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
CEEMAS
2003
Springer
14 years 2 months ago
2003
Springer
In this paper we present a motivational mechanism to generate and determine the worth of goals and to represent various constraints involved in satisfying a goal. The work builds o...