780 search results - page 71 / 156 » Compositional Quantitative Reasoning |
125
Voted
ICIP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a new hybrid image fusion scheme that combines features of pixel and region based fusion, to be integrated in a surveillance system. In such systems, objects c...
93
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
109
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Image matting is the process of extracting a soft segmentation of an object in an image as defined by the matting equation. Most current techniques focus largely on computing the ...
113
click to vote
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
113
Voted
WISE
2007
Springer
15 years 7 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...