2701 search results - page 298 / 541 » On the form of witness terms |
126
click to vote
PASTE
2004
ACM
16 years 3 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
163
click to vote
PLDI
2004
ACM
16 years 3 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
183
click to vote
SIGIR
2004
ACM
16 years 2 days ago
2004
ACM
Organizing Web search results into clusters facilitates users' quick browsing through search results. Traditional clustering techniques are inadequate since they don't g...
180
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
195
click to vote
AUSAI
2004
Springer
16 years 2 days ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...