1431 search results - page 168 / 287 » Solving Constraints in Model Transformations |
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
114
click to vote
COR
2007
15 years 21 days ago
2007
This paper presents several Arcs-States models that can be applied to numerous vehicle routing problems, one of which is the well-known vehicle routing problem with capacities and...
117
Voted
MTA
2002
15 years 11 days ago
2002
In this paper we introduce a new model for the definition and the implementation of quality of service (QoS) in distributed multimedia systems. The model provides both the users an...
138
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we reformulate the 3D reconstruction of deformable surfaces from monocular video sequences as a labeling problem. We solve simultaneously for the assignment of featu...
110
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...