Sciweavers

2021 search results - page 292 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
RECOMB
2003
Springer
16 years 5 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 5 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 1 months 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
CVPR
2010
IEEE
16 years 1 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
APSEC
2008
IEEE
15 years 11 months ago
Domain Specific Engineering Environments
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
Jacky Estublier, Germán Vega, Philippe Lala...