5879 search results - page 1107 / 1176 » Separation - Past, Present, and Future |
301
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
308
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
The wide availability of commodity graphics processors has made real-time graphics an intrinsic component of the human/computer interface. These graphics cores accelerate the z-bu...
167
click to vote
RECOMB
2009
Springer
16 years 6 months ago
2009
Springer
Collective behavior involving distally separate regions in a protein is known to widely affect its function. In this paper, we present an online approach to study and characterize ...
171
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
: ? Towards Combining Web Classification and Web Information Extraction: a Case Study Ping Luo, Fen Lin, Yuhong Xiong, Yong Zhao, Zhongzhi Shi HP Laboratories HPL-2009-86 Classific...
166
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
We present a document routing and index partitioning scheme for scalable similarity-based search of documents in a large corpus. We consider the case when similarity-based search ...