Sciweavers

2905 search results - page 70 / 581
» Formal Memetic Algorithms
Sort
View
DEXA
2007
Springer
126views Database» more  DEXA 2007»
14 years 25 days ago
Compiling Declarative Specifications of Parsing Algorithms
Abstract. The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamenntics while abstracting low-level detail. ...
Carlos Gómez-Rodríguez, Jesús...
TEC
2012
234views Formal Methods» more  TEC 2012»
11 years 11 months ago
Cooperatively Coevolving Particle Swarms for Large Scale Optimization
—This paper presents a new cooperative coevolving particle swarm optimization (CCPSO) algorithm in an attempt to address the issue of scaling up particle swarm optimization (PSO)...
Xiaodong Li, Xin Yao
PPOPP
2012
ACM
12 years 4 months ago
Internally deterministic parallel algorithms can be fast
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gib...
TKDE
2012
236views Formal Methods» more  TKDE 2012»
11 years 11 months ago
Improving Aggregate Recommendation Diversity Using Ranking-Based Techniques
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...
Gediminas Adomavicius, YoungOk Kwon
TSE
2011
107views more  TSE 2011»
13 years 3 months ago
Deriving a Slicing Algorithm via FermaT Transformations
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
Martin P. Ward, Hussein Zedan