1495 search results - page 128 / 299 » Confirmation in Multimodal Systems |
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
CCIW
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a spatial noise reduction technique designed to work on CFA (Color Filter Array) data acquired by CCD/CMOS image sensors. The overall processing preserves image...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
A new approach to analyze injection locking mode of oscillators under small external excitation is proposed. The proposed approach exploits existence conditions of the solution of...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, a novel algorithm for foreground detection and shadow removal is presented. The proposed method employs a region-based approach by processing two foregrounds result...
CGI
2006
IEEE
15 years 4 months ago
2006
IEEE
In this work, we address visualization of spatio-temporal data for military application. Four different visualization prototypes have been developed to track the movement of milita...