750 search results - page 116 / 150 » Desires, Norms and Constraints |
FM
1999
Springer
15 years 4 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
102
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...
100
click to vote
VISUALIZATION
1998
IEEE
15 years 4 months ago
1998
IEEE
We propose a general paradigm for computing optimal coordinate frame fields that may be exploited to visualize curves and surfaces. Parallel-transport framings, which work well fo...
110
click to vote
ECOOPW
1998
Springer
15 years 4 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
CVPR
1997
IEEE
15 years 4 months ago
1997
IEEE
— A number of active contour models have been proposed that unify the curve evolution framework with classical energy minimization techniques for segmentation, such as snakes. Th...