298 search results - page 8 / 60 » Measuring and Evaluating Parallel State-Space Exploration Al... |
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Services like Amazon’s Mechanical Turk have opened the door for exploration of processes that outsource computation to humans. These human computation processes hold tremendous ...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Sampling-based motion planners are often used to solve very high-dimensional planning problems. Many recent algorithms use projections of the state space to estimate properties...
SIBGRAPI
2003
IEEE
2003
IEEE
Using Efficient Visual Exploration Techniques to Evaluate Features for Content-Based Image Retrieval
14 years 1 months ago
This paper presents a novel visual approach to evaluate, in a fast and effective way, the development of new image feature extraction techniques concerning content-based image ret...
IMCSIT
2010
13 years 3 months ago
2010
The present paper is aimed to compare the efficiency of a new segmentation method with several existing approaches. The paper addresses the problem of image segmentation evaluation...