1231 search results - page 209 / 247 » Updatable Zero-Knowledge Databases |
141
click to vote
AAAI
2008
15 years 1 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
102
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
90
Voted
BMCBI
2008
15 years 19 days ago
2008
Background: The availability of sequences from whole genomes to reconstruct the tree of life has the potential to enable the development of phylogenomic hypotheses in ways that ha...
ML
2008
ACM
15 years 14 days ago
2008
ACM
Although memory-based classifiers offer robust classification performance, their widespread usage on embedded devices is hindered due to the device's limited memory resources...
110
Voted
BMCBI
2004
15 years 12 days ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...