1804 search results - page 131 / 361 » On set systems with a threshold property |
253
click to vote
TNN
2011
15 years 1 months ago
2011
—We investigate architectures for time encoding and time decoding of visual stimuli such as natural and synthetic video streams (movies, animation). The architecture for time enc...
179
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--We aim at improving quantitative measures of emphysema in computed tomography (CT) images of the lungs. Current standard measures, such as the relative area of emphysema ...
164
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
195
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
159
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Model reduction methods from diverse fields— including control, statistical mechanics and economics—aimed at systems that can be represented by Markov chains, are discusse...