1585 search results - page 191 / 317 » A framework for computer-aided validation |
127
click to vote
ECEASST
2006
15 years 3 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
123
click to vote
ENTCS
2006
15 years 3 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
493
click to vote
Publication
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation.
We have...
134
click to vote
MP
2006
15 years 3 months ago
2006
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
132
click to vote
IJRR
2007
15 years 3 months ago
2007
This paper proposes a real-time, robust and effective tracking framework for visual servoing applications. The algorithm is based on the fusion of visual cues and on the estimatio...