1097 search results - page 87 / 220 » Revision Programming = Logic Programming Integrity Constra... |
130
click to vote
CONSTRAINTS
2006
15 years 3 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
123
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
147
click to vote
IPCO
2010
15 years 1 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
134
Voted
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
129
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...