1097 search results - page 33 / 220 » Revision Programming = Logic Programming Integrity Constra... |
143
click to vote
ICANN
2010
Springer
15 years 3 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
103
Voted
DBPL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
112
Voted
ANTSW
2008
Springer
15 years 4 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
120
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
141
Voted
ANOR
2002
15 years 2 months ago
2002
The Airline Crew Assignment Problem (ACA) consists of assigning lines of work to a set of crew members such that a set of activities is partitioned and the costs for that assignmen...