257 search results - page 20 / 52 » Destructors, finalizers, and synchronization |
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be ...
STOC
2001
ACM
14 years 7 months ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
AAAI
2008
13 years 10 months ago
2008
Diagnosability is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. An unobservable fault event in...
IJCV
2006
13 years 7 months ago
2006
Abstract. Over the past few years researchers have been investigating the enhancement of visual tracking performance by devising trackers that simultaneously make use of several di...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
In this work we present an approach for markerless
motion capture (MoCap) of articulated objects, which are
recorded with multiple unsynchronized moving cameras.
Instead of usin...