6456 search results - page 265 / 1292 » Constraint Solving on Terms |
141
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
This work investigates the effects of nonrigid transformation model and deformation constraints on the results of deformation-based morphometry (DBM) studies. We evaluate three pop...
208
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present an approach to the synthesis of fault-tolerant schedules for embedded applications with soft and hard real-time constraints. We are interested to guarante...
158
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— A new call admission control (CAC) strategy based on the soft capacity constraint (SCC) concept is proposed for CDMA cellular systems. The use of the SCC concept allows maximiz...
165
click to vote
COCO
2007
Springer
16 years 23 days ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
181
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...