214 search results - page 41 / 43 » Estimating Reliability of Conditional Promises |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
ICCV
2009
IEEE
15 years 17 days ago
2009
IEEE
We propose a novel method for automatically discover-ing key motion patterns happening in a scene by observing the scene for an extended period. Our method does not rely on object ...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a mobile vision system for multi-person tracking in busy environments. Specifically, the system integrates continuous visual odometry computation with tracking-bydetect...
ACISP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
IDEAS
2003
IEEE
14 years 27 days ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...