1322 search results - page 96 / 265 » Efficient Goal-Directed Exploration |
152
Voted
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
148
click to vote
CIIA
2009
15 years 4 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
145
click to vote
PVLDB
2008
15 years 2 months ago
2008
We present SEMANDAQ, a prototype system for improving the quality of relational data. Based on the recently proposed conditional functional dependencies (CFDs), it detects and rep...
111
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
Anisotropic diffusion has been widely used in image processing for its efficiency of smoothing the noisy images while preserving the sharp edges. In this paper we will explore a g...
229
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
One very important application in the data mining domain is frequent pattern mining. Various authors have worked on improving the efficiency of this computation, mostly focusing o...