521 search results - page 45 / 105 » Non-linear image processing in hardware |
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
Stream processing applications such as image signal processing demand high throughput. However, customers increasingly demand runtime flexibility in their designs, which cannot b...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe a platform for performing text and radiology analytics (TARA). We integrate commercially available hardware and middleware components to construct an environment which...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
High resolution through-the-wall radar imaging (TTWRI) demands wideband signals and large array apertures. Thus a vast amount of measurements is needed for a detailed reconstructi...
AVSS
2007
IEEE
14 years 1 months ago
2007
IEEE
In recent years, the use of Intelligent Closed-Circuit Television (ICCTV) for crime prevention and detection has attracted significant attention. Existing face recognition system...