2836 search results - page 186 / 568 » Parsing Algorithms and Metrics |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Visual localization and mapping for mobile robots has been achieved with a large variety of methods. Among them, topological navigation using vision has the advantage of offeri...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
IDEAL
2003
Springer
14 years 1 months ago
2003
Springer
Illumination variation poses a serious problem in video shot detection. It causes false cuts in many shot detection algorithms. A new illumination invariant measure metric is propo...
CLUSTER
2006
IEEE
13 years 12 months ago
2006
IEEE
Scalability is a crucial factor in performance evaluation and analysis of parallel and distributed systems. Much effort has been devoted to scalability research and several metric...