298 search results - page 49 / 60 » Development and Application of Design Transformations in For... |
IPPS
2006
IEEE
2006
IEEE
Parallel morphological processing of hyperspectral image data on heterogeneous networks of computers
14 years 1 months ago
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. The development of efficient techniques ...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of a system that executes complex event queries over real-time streams of RFID readings encoded as events. The...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
MIR
2003
ACM
14 years 1 months ago
2003
ACM
Sign board detection is important for such computer vision applications as video surveillance and content based visual information retrieval. Previous researches on this topic foc...