Sciweavers

8132 search results - page 397 / 1627
» Dependability, Abstraction, and Programming
Sort
View
PROMAS
2005
Springer
16 years 11 days ago
Agent-Based Computing and Programming of Agent Systems
The concepts of autonomous agent and multi-agent system appropriate levels of abstraction for the design, implementation and simulation of many complex, distributed computational s...
Michael Luck, Peter McBurney, Jorge Gonzalez-Palac...
PVM
2005
Springer
16 years 11 days ago
A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
Stéphane Genaud, Choopan Rattanapoka
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
16 years 11 days ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
GECCO
2004
Springer
138views Optimization» more  GECCO 2004»
16 years 8 days ago
Comparing Genetic Programming and Evolution Strategies on Inferring Gene Regulatory Networks
Abstract. In recent years several strategies for inferring gene regulatory networks from observed time series data of gene expression have been suggested based on Evolutionary Algo...
Felix Streichert, Hannes Planatscher, Christian Sp...
ILP
2004
Springer
16 years 8 days ago
Learning Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
Fabrizio Riguzzi