212 search results - page 43 / 43 » Implementation of an Internet-controlled system under variab... |
NIPS
2004
13 years 6 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
MICAI
2000
Springer
13 years 8 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...