4629 search results - page 457 / 926 » Space Kernel Analysis |
161
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper consists of two parts. The first part is the development of a datadriven Kalman filter for a non-uniformly sampled multirate (NUSM) system, including identification of ...
178
click to vote
DAGM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a system for detecting shadows in dynamic outdoor scenes. The technique is based on fusing background subtraction operations performed on both color and dispar...
159
click to vote
ICEIS
2009
IEEE
15 years 4 months ago
2009
IEEE
OLAP systems offering multidimensional and large information space cannot solely rely on standard navigation but need to apply recommendations to make the analysis process easy and...
165
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—A novel binarization method for courtesy amount recognition of color Chinese checks is proposed in this paper. It includes two steps: background removal and seal removal. In the...
149
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...