Sciweavers

1434 search results - page 169 / 287
» Graph Searching with Advice
Sort
View
ICRA
2005
IEEE
113views Robotics» more  ICRA 2005»
14 years 2 months ago
A Sample-based Convex Cover for Rapidly Finding an Object in a 3-D Environment
— In this paper we address the problem of generating a motion strategy to find an object in a known 3-D environment as quickly as possible on average. We use a sampling scheme t...
Alejandro Sarmiento, Rafael Murrieta-Cid, Seth Hut...
CAIP
2005
Springer
160views Image Analysis» more  CAIP 2005»
14 years 2 months ago
Supervised Texture Detection in Images
This paper presents a technique for texture segmentation in images. Providing a small template of a texture of interest results in the image being segmented into regions with simil...
Branislav Micusík, Allan Hanbury
EUROGP
2005
Springer
122views Optimization» more  EUROGP 2005»
14 years 2 months ago
Evolution of Robot Controller Using Cartesian Genetic Programming
Abstract. Cartesian Genetic Programming is a graph based representation that has many benefits over traditional tree based methods, including bloat free evolution and faster evolu...
Simon Harding, Julian F. Miller
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
IPPS
1999
IEEE
14 years 1 months ago
Average-Case Analysis of Isospeed Scalability of Parallel Computations on Multiprocessors
We investigate the average-case speed and scalability of parallel algorithms executing on multiprocessors. Our performance metrics are average-speed and isospeed scalability. By m...
Keqin Li, Xian-He Sun