Sciweavers

3333 search results - page 167 / 667
» Abstract Proof Search
Sort
View
DASFAA
2009
IEEE
149views Database» more  DASFAA 2009»
15 years 8 months ago
Demonstrating Effective Ranked XML Keyword Search with Meaningful Result Display
Abstract. In this paper, we demonstrate an effective ranked XML keyword search with meaningful result display. Our system, named ICRA, recognizes a set of object classes in XML dat...
Zhifeng Bao, Bo Chen, Tok Wang Ling, Jiaheng Lu
147
Voted
ECIR
2009
Springer
15 years 1 months ago
Revisiting IR Techniques for Collaborative Search Strategies
Abstract. This paper revisits some of the established Information Retrieval (IR) techniques to investigate effective collaborative search strategies. We devised eight search strate...
Hideo Joho, David Hannah, Joemon M. Jose
SARA
2007
Springer
15 years 10 months ago
DFS-Tree Based Heuristic Search
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
ISCAS
2006
IEEE
94views Hardware» more  ISCAS 2006»
15 years 10 months ago
Relaxed tree search MIMO signal detection algorithm design and VLSI implementation
Abstract— This paper presents an implementation-oriented breadthfirst tree search MIMO detector design solution. Techniques at algorithm and VLSI architecture levels are develop...
Sizhong Chen, Tong Zhang, M. Goel
ACNS
2005
Springer
81views Cryptology» more  ACNS 2005»
15 years 9 months ago
Searching for High-Value Rare Events with Uncheatable Grid Computing
Abstract. High-value rare-event searching is arguably the most natural application of grid computing, where computational tasks are distributed to a large collection of clients (wh...
Wenliang Du, Michael T. Goodrich