18918 search results - page 3523 / 3784 » Using Technology in Teaching |
200
click to vote
PASTE
2005
ACM
16 years 4 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
182
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
Search engines represent a key component of Web economy these days. Despite that, there is not much technical literature available on their design, fine tuning, and internal oper...
192
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
Collection selection has been a research issue for years. Typically, in related work, precomputed statistics are employed in order to estimate the expected result quality of each ...
181
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
Recognition and retrieval of historical handwritten material is an unsolved problem. We propose a novel approach to recognizing and retrieving handwritten manuscripts, based upon ...
159
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
The current boom of the Web is associated with the revenues originated from on-line advertising. While search-based advertising is dominant, the association of ads with a Web page...