1219 search results - page 157 / 244 » Verification of Equivalent-Results Methods |
MVA
1992
13 years 11 months ago
1992
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
AI
2008
Springer
13 years 10 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
: Making a product conform to the functional requirements indicated by the customer suppose to be able to manage the manufacturing process chosen to realise the parts. A simulation...
PR
2006
13 years 10 months ago
2006
In this paper, we propose a feature-level fusion approach for improving the efficiency of palmprint identification. Multiple elliptical Gabor filters with different orientations a...
IVC
2000
13 years 9 months ago
2000
In this paper, we propose a model-based method to analyze the human walking motion. This system consists of three phases: the preprocessing phase, the model construction phase, an...