1090 search results - page 76 / 218 » The Equivalence between Biology and Computation |
54
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present in this article an original manner to estimate the trajectory of a vehicle running in urban-like areas. The method consists in extracting then tracking features (poi...
92
Voted
ACTA
2007
15 years 26 days ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
115
Voted
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
78
Voted
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a data encoder to reduce switched capacitance on system bus. Our method focuses on transferring raw video data (pixels) between off-chip memory and on-chip mem...
105
Voted
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
We consider some well-known families of two-player zero-sum perfect-information stochastic games played on finite directed graphs. Generalizing and unifying results of Liggett and...