Sciweavers

1968 search results - page 48 / 394
» The Complexity of Valued Constraint Models
Sort
View
CSCLP
2008
Springer
15 years 3 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
ALIFE
2008
15 years 29 days ago
Natural or Internal Selection? The Case of Canalization in Complex Evolutionary Systems
Using biological examples and theoretical arguments, the case is presented for extending the notion of natural selection to include internal selection in order to account for the e...
Alexander Riegler
TCAD
1998
114views more  TCAD 1998»
15 years 1 months ago
Behavioral optimization using the manipulation of timing constraints
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
Miodrag Potkonjak, Mani B. Srivastava
JAIR
2007
95views more  JAIR 2007»
15 years 1 months ago
Consistency and Random Constraint Satisfaction Models
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
Yong Gao, Joseph C. Culberson
ICCAD
1994
IEEE
122views Hardware» more  ICCAD 1994»
15 years 5 months ago
An enhanced flow model for constraint handling in hierarchical multi-view design environments
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
Pieter van der Wolf, K. Olav ten Bosch, Alfred van...