1173 search results - page 160 / 235 » Program Derivation Using Analogy |
169
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
126
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
129
click to vote
JSAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
113
click to vote
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
119
Voted
AAAI
2008
15 years 4 months ago
2008
We argue that parameterized complexity is a useful tool with which to study global constraints. In particular, we show that many global constraints which are intractable to propag...