Buscar
Mostrando ítems 1-10 de 21405
A choice functions portfolio for solving constraint satisfaction problems: A performance evaluation
(IEEE Computer Society, 2016)
Evaluation of choice functions to self-adaptive on constraint programming via the black hole algorithm
(Institute of Electrical and Electronics Engineers Inc., 2017)
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
Correction of functional logic programs
(SPRINGER, 2003-01-01)
We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...
On the Central Paths in Symmetric Cone Programming
(Springer, 2017)
This paper is devoted to the study of optimal solutions of symmetric coneprograms by means of the asymptotic behavior of central paths with respect to a broadclass of barrier functions. This class is, for instance, larger ...
The impact of using different choice functions when solving CSPs with autonomous search
(Springer Verlag, 2016)