1799 search results - page 241 / 360 » Active Objects in TMN |
200
click to vote
ICANN
2005
Springer
16 years 6 days ago
2005
Springer
Spike synchronisation and de-synchronisation are important for feature binding and separation at various levels in the visual system. We present a model of complex valued neuron ac...
159
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
158
click to vote
IICS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
179
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
173
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...