Sciweavers

2784 search results - page 238 / 557
» Light analysis of complex systems
Sort
View
CAIP
2007
Springer
217views Image Analysis» more  CAIP 2007»
15 years 11 months ago
Mixture Models Based Background Subtraction for Video Surveillance Applications
— Background subtraction is a method commonly used to segment objects of interest in image sequences. By comparing new frames to a background model, regions of interest can be fo...
Chris Poppe, Gaëtan Martens, Peter Lambert, R...
ICFEM
2007
Springer
15 years 11 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
EMSOFT
2003
Springer
15 years 10 months ago
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
Janosch Fauster, Raimund Kirner, Peter P. Puschner
ICDAR
2009
IEEE
15 years 3 months ago
Graph b-Coloring for Automatic Recognition of Documents
In order to reduce the rejection rate of our automatic reading system, we propose to pre-classify the business documents by introducing an Automatic Recognition of Documents stage...
Djamel Gaceb, Véronique Eglin, Frank Lebour...
IFIP12
2009
15 years 3 months ago
Managing Diagnosis Processes with Interactive Decompositions
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
Quang-Huy Giap, Stéphane Ploix, Jean-Marie ...