Sciweavers

4836 search results - page 348 / 968
» Exploring the Similarity Space
Sort
View
CEC
2005
IEEE
16 years 16 days ago
Multidimensional epistasis and the advantage of sex
Kondrashov and Kondrashov (2001) point out that, although common in population genetic models, epistatic systems where the fitness of a genotype is a non-linear function of the num...
Richard A. Watson, John Wakeley
CHARME
2005
Springer
106views Hardware» more  CHARME 2005»
16 years 13 days ago
Error Detection Using BMC in a Parallel Environment
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad...
AI
2004
Springer
16 years 9 days ago
A Hybrid Schema for Systematic Local Search
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
William S. Havens, Bistra N. Dilkina
IBERAMIA
2004
Springer
16 years 8 days ago
A Multi-robot Strategy for Rapidly Searching a Polygonal Environment
In this paper we address the problem of finding an object in a polygonal environment as quickly as possible on average, with a team of mobile robots that can sense the environment...
Alejandro Sarmiento, Rafael Murrieta-Cid, Seth Hut...
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
16 years 5 days ago
Layered, Multi-Threaded, High-Level Performance Design
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...
Andrew S. Cassidy, JoAnn M. Paul, Donald E. Thomas