1799 search results - page 241 / 360 » Active Objects in TMN |
206
click to vote
ICANN
2005
Springer
16 years 12 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...
169
click to vote
ICLP
2005
Springer
16 years 11 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...
165
click to vote
IICS
2005
Springer
16 years 11 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...
187
click to vote
LPAR
2005
Springer
16 years 11 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...
179
click to vote
DALT
2005
Springer
16 years 10 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...