579 search results - page 79 / 116 » Constraint Validation in Model Compilers |
CDC
2009
IEEE
14 years 19 days 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” ...
EVOW
2001
Springer
14 years 12 days 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...
ICPR
2000
IEEE
14 years 9 days 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...
CORR
2010
Springer
13 years 8 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...
TSE
2010
13 years 6 months 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...