281 search results - page 45 / 57 » A functional logic database library |
87
Voted
JOT
2006
15 years 11 days ago
2006
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
GridVine is a Peer Data Management System based on a decentralized access structure. Built following the principle of data independence, it separates a logical layer – where dat...
102
Voted
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
109
Voted
BMCBI
2008
15 years 16 days ago
2008
Background: Amino acid sequence probability distributions, or profiles, have been used successfully to predict secondary structure and local structure in proteins. Profile models ...
116
click to vote
BMCBI
2005
15 years 9 days ago
2005
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...