2593 search results - page 317 / 519 » Algorithms and Data Structures for Computer Topology |
120
Voted
B
2007
Springer
15 years 8 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
119
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
The range tree is a fundamental data structure for multidimensional point sets, and as such, is central in a wide range of geometric anddatabaseapplications. Inthis paper, we desc...
122
Voted
ISVC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an appearance-based 3D hand posture estimation method that determines a ranked set of possible hand posture candidates from an unmarked hand image, based on an...
145
Voted
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
219
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...