8699 search results - page 1605 / 1740 » Elements of the Theory of Computation |
ICIP
2001
IEEE
16 years 26 days ago
2001
IEEE
We describe approximate digital implementations of two new mathematical transforms, namely, the ridgelet transform [3] and the curvelet transform [7, 6]. Our implementations offer...
124
click to vote
VIS
2009
IEEE
16 years 14 days ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
167
click to vote
GIS
2007
ACM
16 years 10 days ago
2007
ACM
The collection of moving object data is becoming more and more common, and therefore there is an increasing need for the efficient analysis and knowledge extraction of these data ...
135
click to vote
DAC
2009
ACM
16 years 8 days ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
109
click to vote
DAC
2003
ACM
16 years 7 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...