1431 search results - page 244 / 287 » Solving Constraints in Model Transformations |
91
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
In this work, we address the problem of segmenting multiple objects, under possible occlusions, in a level set framework. A variational energy that incorporates a piecewise constan...
82
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
114
click to vote
LCTRTS
1999
Springer
15 years 4 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
72
Voted
AUTOMATICA
2006
15 years 17 days ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...