2954 search results - page 164 / 591 » Beyond |
161
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
134
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We consider the problem of compressibility of protein sequences. Based on an observed genome-scale long-range correlation in concatenated protein sequences from different organism...
213
click to vote
Publication
We present a novel and robust method for localizing and segmenting bilaterally symmetric patterns from real-world images. On the basis of symmetrically matched pairs of local featu...
171
Voted
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
136
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
— In this paper, we propose a non-blocking buffer management scheme based on a lock-free variant of the GCLOCK page replacement algorithm. Concurrent access to the buffer managem...