298 search results - page 52 / 60 » Abstract Fixpoint Computations with Numerical Acceleration M... |
JIRS
2007
13 years 7 months ago
2007
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Finding solutions to minimal problems for estimating epipolar geometry and camera motion leads to solving systems of algebraic equations. Often, these systems are not tri...
ICPP
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—The Sparse Matrix-Vector Multiplication kernel exhibits limited potential for taking advantage of modern shared memory architectures due to its large memory bandwidth re...
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We examine the statistical distribution of the interference produced by a cluster of very many co-channel interferers, e.g., a sensor network, or a city full of active w...