2333 search results - page 286 / 467 » Recursive Computational Depth |
104
click to vote
BIOTECHNO
2008
IEEE
15 years 8 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
118
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
We consider state estimation of a Markov stochastic process using an ad hoc wireless sensor network (WSN) based on noisy linear observations. Due to power and bandwidth constraint...
109
click to vote
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
120
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
125
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Trellis codes based on linear congruential recursions have recently been introduced as powerful source codes. For a modest computational complexity they offer excellent rate di...