3629 search results - page 10 / 726 » A More Efficient Use of Delta-CRLs |
ICCV
2007
IEEE
14 years 1 months ago
2007
IEEE
To improve the accuracy of tissue structural and architectural characterization with diffusion tensor imaging, an anisotropic smoothing algorithm is presented for reducing noise i...
AMAI
2004
Springer
14 years 3 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
ICN
2005
Springer
14 years 7 days ago
2005
Springer
In the future, many more people will use web service in Ubiquitous environments. SMD-cluster, which is one of previous research, is a proposed scalable cluster system to meet the c...
DAC
2009
ACM
14 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
MM
2006
ACM
14 years 20 days ago
2006
ACM
In this paper, we draw an analogy between image retrieval and text retrieval and propose a visual phrase-based approach to retrieve images containing desired objects. The visual p...