1017 search results - page 126 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
172
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
181
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
170
click to vote
RISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
169
click to vote
IJCAI
2003
15 years 7 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
160
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...