13841 search results - page 59 / 2769 » Algorithms and Constraint Programming |
CONSTRAINTS
2007
15 years 13 days ago
2007
105
Voted
ILP
2007
Springer
15 years 6 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
124
Voted
CORR
2004
Springer
15 years 9 days ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
ISSS
1995
IEEE
15 years 4 months ago
1995
IEEE
{DSP algorithms in most cases are subject to hard real-time constraints. In case of programmable DSP processors, meeting those constraints must be ensured by appropriate code gener...
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...