3333 search results - page 147 / 667 » Abstract Proof Search |
131
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
d Abstract) Alexander Langer, Peter Rossmanith, and Somnath Sikdar RWTH Aachen University, 52074 Aachen, Germany. We present an alternative proof of a theorem by Courcelle, Makowsk...
122
Voted
CG
2000
Springer
15 years 8 months ago
2000
Springer
This paper proposes a new method for searching two-valued (binary) game trees in games like chess or Go. Lambda-search uses null-moves together with different orders of threat-sequ...
129
Voted
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
We investigate how users interact with the results page of a WWW search engine using eye-tracking. The goal is to gain into how users browse the presented abstracts and how they s...
123
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
An elementary proof of a basic uncertainty principle concerning pairs of representations of ?? vectors in different orthonormal bases is provided. The result, slightly stronger th...
133
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...