Sciweavers

88 search results - page 1 / 18
» On the Effectiveness of Looking Ahead in Search for Answer S...
Sort
View
LPNMR
2007
Springer
14 years 1 months ago
On the Effectiveness of Looking Ahead in Search for Answer Sets
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
Guohua Liu, Jia-Huai You
ICASSP
2011
IEEE
12 years 11 months ago
Look ahead orthogonal matching pursuit
For compressive sensing, we endeavor to improve the recovery performance of the existing orthogonal matching pursuit (OMP) algorithm. To achieve a better estimate of the underlyin...
Saikat Chatterjee, Dennis Sundman, Mikael Skoglund
TKDE
2012
312views Formal Methods» more  TKDE 2012»
11 years 9 months ago
Efficient Fuzzy Type-Ahead Search in XML Data
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
Jianhua Feng, Guoliang Li
VTC
2007
IEEE
14 years 1 months ago
Fast and Area-Efficient Sphere Decoding Using Look-Ahead Search
— Sphere decoding enables maximum likelihood (ML) detection with fairly low complexity in the MIMO wireless systems, but it takes hundreds cycles at low SNR environment. This pap...
Se-Hyeon Kang, In-Cheol Park
SAT
2007
Springer
107views Hardware» more  SAT 2007»
14 years 1 months ago
Combining Adaptive Noise and Look-Ahead in Local Search for SAT
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
Chu Min Li, Wanxia Wei, Harry Zhang