2721 search results - page 362 / 545 » An experimental analysis of Lemke-Howson algorithm |
167
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
149
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
159
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we proposed a new scheme to generate photograph slide show with incidental music based on the content of the photographs and music. Unlike existing photograph slide...
183
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...
178
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
A wealth of knowledge is encoded in the form of tables on the World Wide Web. We propose a classification algorithm and a rich feature set for automatically recognizing layout tab...