577 search results - page 84 / 116 » A neurodynamical model for working memory |
177
click to vote
PKDD
2005
Springer
15 years 11 months ago
2005
Springer
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
166
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
156
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
173
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
142
click to vote
ANSS
2001
IEEE
15 years 9 months ago
2001
IEEE
In this work, we study the different buffering techniques used in the literature to solve the contention problem in A TM switching architectures. The objective of our study is to ...