4426 search results - page 472 / 886 » Concurrent Constraint Programming |
176
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a novel method for merging sets of computational patterns into a reconfigurable cell respecting design constraints and optimizing specific design aspects...
220
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
197
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
3?D shape recovery of non-rigid surfaces from 3?D to 2?D correspondences is an under-constrained problem that requires prior knowledge of the possible deformations. State-of-the-a...
195
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
193
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...