5898 search results - page 347 / 1180 » Parallel Computing Environments and Methods |
134
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
The constraint of a third camera in stereo vision is a useful tool for reducing ambiguity in matching. Most of the systems using trinocular stereo to date however, have used confi...
116
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
136
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we describe a novel self-localizationalgorithm. Self-Localizationmethods are required for to lowercomputational costand handling vague sensordata. Thus, we propose ...
128
click to vote
TABLEAUX
1995
Springer
15 years 7 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
138
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents Tiji, a trajectory generation scheme, ie an algorithm that computes a feasible trajectory between a start and a goal state, for a given robotic system. Tiji...