12774 search results - page 2375 / 2555 » A Framework for Proof Systems |
312
click to vote
ESWS
2011
Springer
14 years 10 months ago
2011
Springer
Driven by the success of the Linked Open Data initiative today’s Semantic Web is best characterized as a Web of interlinked datasets. Hand in hand with this structure new challen...
173
click to vote
ICS
2011
Tsinghua U.
14 years 10 months ago
2011
Tsinghua U.
Efficient on-chip resource management is crucial for Chip Multiprocessors (CMP) to achieve high resource utilization and enforce system-level performance objectives. Existing mul...
317
click to vote
IRFC
2011
Springer
14 years 10 months ago
2011
Springer
This paper presents Multilingual Document Clustering (MDC) on comparable corpora. Wikipedia, a structured multilingual knowledge base, has been highly exploited in many monolingual...
198
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...
215
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Cascades are a popular framework to speed up object detection systems. Here we focus on the first layers of a category independent object detection cascade in which we sample a l...