4081 search results - page 3 / 817 » The Impact of Constraint Programming |
AAIM
2009
Springer
13 years 12 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
AIPS
2007
13 years 7 months ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...
CONSTRAINTS
1999
13 years 5 months ago
1999
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
HCI
2007
13 years 6 months ago
2007
Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from lar...