Search Sciweavers | Sciweavers

1613 search results - page 26 / 323

» Functional and Constraint Logic Programming

155

click to vote

CONSTRAINTS
2008

70views more CONSTRAINTS 2008»

Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation

15 years 6 months ago

Download www.crt.umontreal.ca

We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...

Hadrien Cambazard, Barry O'Sullivan

claim paper

Read More »

176

click to vote

ICLP
2004
Springer

191views Automated Reasoning» more ICLP 2004»

Applying CLP to Predict Extra-Functional Properties of Component-Based Models

15 years 11 months ago

Download www.irisa.fr

A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...

Olivier Defour, Jean-Marc Jézéquel, ...

claim paper

Read More »

122

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

15 years 12 months ago