Sciweavers

2509 search results - page 307 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ICCS
2004
Springer
15 years 12 months ago
Simulation Coercion Applied to Multiagent DDDAS
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
Yannick Loitière, David C. Brogan, Paul F. ...
ICANN
2003
Springer
15 years 11 months ago
Unsupervised Learning of a Kinematic Arm Model
Abstract. An abstract recurrent neural network trained by an unsupervised method is applied to the kinematic control of a robot arm. The network is a novel extension of the Neural ...
Heiko Hoffmann, Ralf Möller
EUROPAR
2001
Springer
15 years 11 months ago
A Component Framework for HPC Applications
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
Nathalie Furmento, Anthony Mayer, Stephen McGough,...
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 10 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
APLAS
2008
ACM
15 years 8 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...