77 search results - page 14 / 16 » Tasks Models Merging for High-Level Component Composition |
110
click to vote
WACC
1999
ACM
15 years 1 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
101
click to vote
HYBRID
1998
Springer
15 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
IPPS
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper presents e cient and portable implementations of a useful image enhancement process, the Symmetric Neighborhood Filter SNF, and an image segmentation technique which ma...