579 search results - page 79 / 116 » Constraint Validation in Model Compilers |
104
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
119
click to vote
EVOW
2001
Springer
15 years 7 months ago
2001
Springer
This work introduces a highly constrained school timetabling problem which was modeled from the requirements of a German high school. The concept for solving the problem uses a hyb...
122
Voted
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we address the problem of fluid motion estimation in image sequences. For such motions, standard optical flow methods, based on intensity conservation and spatial...
108
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The non-repudiation as an essential requirement of many applications can be provided by the asymmetric key model. With the evolution of new applications such as mobile commerce, it...
116
Voted
TSE
2010
15 years 28 days ago
2010
—This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set...