5234 search results - page 299 / 1047 » Method Components - Rationale Revealed |
128
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
126
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
This paper investigates whether Web comments are of descriptive nature, that is, whether the combined text of a set of comments is similar in topic to the commented object. If so,...
137
click to vote
ASIAMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Web caching is a technology for improving network traffic on the internet. It is a temporary storage of Web objects (such as HTML documents) for later retrieval. There are three s...
120
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Clustered-dot halftones are extensively utilized in hardcopy printing. Modulation of the dot orientation in these halftones offers an avenue for data embedding which has been expl...
125
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Wireless mesh networks are rapidly deployable for many applications. The throughput of such a network depends on the schemes used for medium access control. In this paper, we pres...