1456 search results - page 68 / 292 » Two Techniques to Improve Finite Model Search |
TREC
2004
13 years 9 months ago
2004
Our experiments in the Robust track this year focused on predicting query difficulty and using this prediction for improving information retrieval. We developed two prediction alg...
SIS
2007
13 years 9 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
APGV
2007
ACM
13 years 12 months ago
2007
ACM
The display of space filling data is still a challenge for the community of visualization. Direct Volume Rendering (DVR) is one of the most important techniques developed to achie...
TCAD
2010
13 years 2 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
ICAPR
2001
Springer
2001
Springer
A Time-Length Constrained Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
14 years 10 days ago
In this paper we introduce a constrained Level Building Algorithm (LBA) in order to reduce the search space of a Large Vocabulary Handwritten Word Recognition (LVHWR) system. A ti...