57 search results - page 7 / 12 » Composing Invariants |
CAV
2007
Springer
14 years 27 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
ECOOP
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
IBPRIA
2007
Springer
14 years 26 days ago
2007
Springer
In this paper we present a method to recognize shapes by analyzing a polygonal approximation of their boundaries. The method is independent of the used approximation method since i...
CGF
2008
13 years 6 months ago
2008
This paper presents a novel segmentation method to assist the rigging of articulated bodies. The method computes a coarse-to-fine hierarchy of segments ordered by the level of det...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
Many practical data streams are typically composed of several states known as regimes. In this paper, we invoke phase space reconstruction methods from non-linear time series and ...