563 search results - page 47 / 113 » A Typing Scheme for Behavioural Models |
IJON
2006
13 years 8 months ago
2006
The spike-triggered average voltage (STV) is an experimentally measurable quantity that is determined by both the membrane response properties and the statistics of the synaptic d...
ENTCS
2007
13 years 8 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
ML
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian Decision Problems. As opposed to previous theoretical wo...
3DPVT
2004
IEEE
14 years 13 days ago
2004
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video. As in classical model-based video coding, the geometry, ...
NN
2008
Springer
13 years 8 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...