Sciweavers

6554 search results - page 68 / 1311
» Constraint Logic Programming
Sort
View
ECAI
2004
Springer
15 years 11 months ago
Uncertain Linear Constraints
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...
Nic Wilson
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
CLP-based protein fragment assembly
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
Alessandro Dal Palù, Agostino Dovier, Feder...
IOR
2007
106views more  IOR 2007»
15 years 5 months ago
Planning and Scheduling by Logic-Based Benders Decomposition
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
John N. Hooker
ASAP
1997
IEEE
144views Hardware» more  ASAP 1997»
15 years 10 months ago
Automatic data mapping of signal processing applications
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
Corinne Ancourt, Denis Barthou, Christophe Guettie...
ICLP
1991
Springer
15 years 9 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot