5639 search results - page 117 / 1128 » Timed Abstract Non-interference |
112
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Abstract We propose an approach to texture boundary detection that only requires a line-search in the direction normal to the edge. It is therefore very fast and can be incorporate...
IPMI
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. A new method is introduced for estimating single-trial magnetoor electro-encephalography (M/EEG), based on a non-linear fit of timefrequency atoms. The method can be appl...
123
click to vote
CC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
100
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In this paper, we consider the Bayesian CramerRao bound (BCRB) for the dynamical estimation of multi-path Rayleigh channel complex gains in data-aided (DA) and non-dataa...
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...