Sciweavers

2025 search results - page 265 / 405
» Minimal-Cut Model Composition
Sort
View
RECOMB
2003
Springer
16 years 4 months ago
Haplotype reconstruction from SNP alignment
In this paper, we describe a method for statistical reconstruction of haplotypes from a set of aligned SNP fragments. We consider the case of a pair of homologous human chromosome...
Lei Li, Jong Hyun Kim, Michael S. Waterman
PODS
2008
ACM
158views Database» more  PODS 2008»
16 years 4 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
TCC
2010
Springer
381views Cryptology» more  TCC 2010»
16 years 28 days ago
New Techniques for Dual System Encryption and Fully Secure HIBE with Short Ciphertexts
We construct a fully secure HIBE scheme with short ciphertexts. The previous construction of Boneh, Boyen, and Goh was only proven to be secure in the selective model, under a non...
Allison B. Lewko, Brent Waters
127
Voted
CVPR
2010
IEEE
15 years 12 months ago
On Growth and Formlets: Sparse Multi-Scale Coding of Planar Shape
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
Timothy Oleskiw, James Elder, Gabriel Peyr
127
Voted
IEEEARES
2010
IEEE
15 years 11 months ago
Solving the Transitive Access Problem for the Services Oriented Architecture
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
Alan H. Karp, Jun Li