1431 search results - page 133 / 287 » Solving Constraints in Model Transformations |
122
click to vote
UTP
2010
14 years 10 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
95
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Several authors have noticed that the common representation of images as vectors is sub-optimal. The process of vectorization eliminates spatial relations between some of the near...
111
click to vote
CP
1998
Springer
15 years 5 months ago
1998
Springer
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose here a new approach for video sequence interpretation based on declarative models of activities. The aim of the video sequence interpretation is to recognize i...
102
Voted
GFKL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...