5550 search results - page 1099 / 1110 » Different Approaches to Proof Systems |
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Understanding how people interact with search engines is important in improving search quality. Web search engines typically analyze queries and clicked results, but these actions...
107
click to vote
INFOCOM
2012
IEEE
13 years 12 days ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...
115
click to vote
KDD
2012
ACM
13 years 12 days ago
2012
ACM
Real-world, multiple-typed objects are often interconnected, forming heterogeneous information networks. A major challenge for link-based clustering in such networks is its potent...
153
click to vote
PEPM
2009
ACM
16 years 10 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Typical content-based image retrieval (CBIR) solutions with regular Euclidean metric usually cannot achieve satisfactory performance due to the semantic gap challenge. Hence, rele...