Sciweavers

1959 search results - page 194 / 392
» Concerned About Separation
Sort
View
BMCBI
2010
137views more  BMCBI 2010»
15 years 7 months ago
TassDB2 - A comprehensive database of subtle alternative splicing events
Background: Subtle alternative splicing events involving tandem splice sites separated by a short (2-12 nucleotides) distance are frequent and evolutionarily widespread in eukaryo...
Rileen Sinha, Thorsten Lenser, Niels Jahn, Ulrike ...
ICPR
2006
IEEE
16 years 8 months ago
Efficient Search and Verification for Function Based Classification from Real Range Images
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
Ehud Rivlin, Ilan Shimshoni, Octavian Soldea
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
16 years 7 months ago
Polymorphic Fractional Capabilities
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
Hirotoshi Yasuoka, Tachio Terauchi
CHI
2004
ACM
16 years 7 months ago
Slash(dot) and burn: distributed moderation in a large online conversation space
Can a system of distributed moderation quickly and consistently separate high and low quality comments in an online conversation? Analysis of the site Slashdot.org suggests that t...
Cliff Lampe, Paul Resnick
STOC
2004
ACM
88views Algorithms» more  STOC 2004»
16 years 7 months ago
Expander flows, geometric embeddings and graph partitioning
We give a O( log n)-approximation algorithm for sparsest cut, edge expansion, balanced separator, and graph conductance problems. This improves the O(log n)-approximation of Leig...
Sanjeev Arora, Satish Rao, Umesh V. Vazirani