1179 search results - page 134 / 236 » Programming in Hybrid Constraint Languages |
119
click to vote
TR
2008
15 years 1 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
SCAM
2006
IEEE
15 years 7 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
133
click to vote
ACMICEC
2005
ACM
15 years 7 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...