Sciweavers

7121 search results - page 1323 / 1425
» Functions as Session-Typed Processes
Sort
View
122
Voted
ECMDAFA
2007
Springer
122views Hardware» more  ECMDAFA 2007»
15 years 9 months ago
Model Transformation from OWL-S to BPEL Via SiTra
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
Behzad Bordbar, Gareth Howells, Michael Evans, Ath...
168
Voted
EMSOFT
2007
Springer
15 years 9 months ago
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...
161
Voted
GECCO
2007
Springer
173views Optimization» more  GECCO 2007»
15 years 9 months ago
UCSpv: principled voting in UCS rule populations
Credit assignment is a fundamental issue for the Learning Classifier Systems literature. We engage in a detailed investigation of credit assignment in one recent system called UC...
Gavin Brown, Tim Kovacs, James A. R. Marshall
147
Voted
GECCO
2007
Springer
241views Optimization» more  GECCO 2007»
15 years 9 months ago
Binary ant algorithm
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
Carlos Fernandes, Agostinho C. Rosa, Vitorino Ramo...
GECCO
2007
Springer
211views Optimization» more  GECCO 2007»
15 years 9 months ago
An extremal optimization search method for the protein folding problem: the go-model example
The protein folding problem consists of predicting the functional (native) structure of the protein given its linear sequence of amino acids. Despite extensive progress made in un...
Alena Shmygelska
« Prev « First page 1323 / 1425 Last » Next »