5748 search results - page 860 / 1150 » Web Engineering Resources |
188
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Sponsored search is one of the major sources of revenue for search engines on the World Wide Web. It has been observed that while showing ads for every query maximizes shortterm r...
192
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
212
click to vote
NAACL
2003
15 years 8 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
197
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
The diversity of end-terminal and access network capabilities as well as the dynamic nature of wireless connections pose significant challenges to providers of multimedia streamin...
304
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...