Sciweavers

8370 search results - page 556 / 1674
» Challenges in P2P Computing
Sort
View
BIOCOMP
2006
15 years 8 months ago
Fast Dictionary Lookup in Genomic Information Retrieval
Indexing and retrieval techniques for homology searching of genomic databases are increasingly important as the search tools are facing great challenges of rapid growth in sequence...
Simon M. C. Yuen, Fu-Lai Chung, Robert Wing Pong L...
DAGSTUHL
2001
15 years 8 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino
PDCN
2004
15 years 8 months ago
Grid knowledge discovery processes and an architecture for their composition
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
Guenter Kickinger, Jürgen Hofer, Peter Brezan...
AE
2009
Springer
15 years 8 months ago
On-Line, On-Board Evolution of Robot Controllers
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
Nicolas Bredeche, Evert Haasdijk, A. E. Eiben
CEC
2010
IEEE
15 years 8 months ago
Two-stage based ensemble optimization for large-scale global optimization
Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...
Yu Wang, Bin Li