2558 search results - page 355 / 512 » Model Composition Contracts |
141
click to vote
AOSD
2012
ACM
14 years 6 days ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
165
click to vote
CVPR
2012
IEEE
13 years 6 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...
155
click to vote
SSIAI
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
142
click to vote
ASMTA
2008
Springer
15 years 6 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
140
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...