168 search results - page 24 / 34 » A Generalization of Hybrid Let-Polymorphic Type Inference Al... |
121
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
215
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
144
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of evolutionary events acting at the population level, like recombin...
146
click to vote
EUROSYS
2007
ACM
16 years 4 days ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
144
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Structure from motion (SFM) aims at jointly recovering the structure of a scene as a collection of 3D points and estimating the camera poses from a number of input images. In this...