Sciweavers

4902 search results - page 671 / 981
» Multi-agent Systems Methodology
Sort
View
GECCO
2006
Springer
133views Optimization» more  GECCO 2006»
15 years 10 months ago
String transformation-based Bayesian classification or proteins
We describe a Markov chain Bayesian classification tool, SCS, that can perform data-driven classification of proteins and protein segments. Training data for interesting classific...
Timothy Meekhof, Gary W. Daughdrill, Robert B. Hec...
FPL
2000
Springer
116views Hardware» more  FPL 2000»
15 years 10 months ago
High-Level Area and Performance Estimation of Hardware Building Blocks on FPGAs
Abstract. Field-programmable gate arrays (FPGAs) have become increasingly interesting in system design and due to the rapid technological progress ever larger devices are commercia...
Rolf Enzler, Tobias Jeger, Didier Cottet, Gerhard ...
FSTTCS
2000
Springer
15 years 10 months ago
Formal Verification of the Ricart-Agrawala Algorithm
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ar...
AIIA
1995
Springer
15 years 10 months ago
Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects
Recently, a new approach that involves a form of simulated evolution has been proposed for the building of autonomous robots. However, it is still not clear if this approach may b...
Stefano Nolfi, Domenico Parisi
EPS
1995
Springer
15 years 10 months ago
A Survey of Constraint Handling Techniques in Evolutionary Computation Methods
One of the major components of any evolutionary system is the evaluation function. Evaluation functions are used to assign a quality measure for individuals in a population. Where...
Zbigniew Michalewicz