1431 search results - page 90 / 287 » Solving Constraints in Model Transformations |
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
138
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
The classical case of morphological segmentation is based on the watershed transform, constructed by flooding the gradient image, which is seen as a topographic surface, with cons...
144
click to vote
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
The graph isomorphism problem consists in deciding if two given graphs have an identical structure. This problem can be modeled as a constraint satisfaction problem in a very strai...
156
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
152
click to vote
MCS
2008
Springer
15 years 4 months ago
2008
Springer
We investigate optimal control problems subject to mixed control-state constraints. The necessary conditions are stated in terms of a local minimum principle. By use of the Fischer...