4075 search results - page 17 / 815 » Modeling Distributed Algorithm Using B |
ICANNGA
2009
Springer
14 years 3 months ago
2009
Springer
We propose a generalized model with configurable discretizer actuators as a solution to the problem of the discretization of massive numerical datasets. Our solution is based on a ...
IJCNN
2000
IEEE
14 years 1 months ago
2000
IEEE
eresting web-available abstracts and papers on clustering: An Analysis of Recent Work on Clustering Algorithms (1999), Daniel Fasulo : This paper describes four recent papers on cl...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...
CCGRID
2004
IEEE
14 years 25 days ago
2004
IEEE
A new computational framework is developed for the evolutionary determination of molecular crystal structures using the Shake-and-Bake methodology. Genetic algorithms are performe...
PODC
1987
ACM
14 years 17 days ago
1987
ACM
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...