2584 search results - page 400 / 517 » On the Forward Checking Algorithm |
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
A motion compensated de-interlacing method wirh adaptive global motion estimation and compensation is proposed to recover the defects of interlaced video sequence with camera pann...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
We study the problem of continuous relational query processing in Internet-scale overlay networks realized by distributed hash tables. We concentrate on the case of continuous two...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Frequent coherent subgraphscan provide valuable knowledgeabout the underlying internal structure of a graph database, and mining frequently occurring coherent subgraphs from large...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...