1056 search results - page 54 / 212 » A Probabilistic Applied Pi-Calculus |
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Researchers building multi-agent algorithms typically work with abstracted away from real applications. The abstracted problem instances allow systematic and detailed investigatio...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we present a novel algorithm for partial
intrinsic symmetry detection in 3D geometry. Unlike previous
work, our algorithm is based on a conceptually simple
and st...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
We propose a novel Active Volume Model (AVM) which deforms in a free-form manner to minimize energy. Unlike Snakes and level-set active contours which only consider curves or surfa...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Although queueing models have long been used to model the performance of computer systems, they are out of favor with practitioners, because they have a reputation for requiring u...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...