13784 search results - page 480 / 2757 » On Computing Functions with Uncertainty |
188
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
180
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: Phylogenetic analysis can be used to divide a protein family into subfamilies in the absence of experimental information. Most phylogenetic analysis methods utilize mu...
164
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: Incorrectly annotated sequence data are becoming more commonplace as databases increasingly rely on automated techniques for annotation. Hence, there is an urgent need...
197
Voted
ENTCS
2006
15 years 6 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
157
Voted
PVLDB
2008
15 years 6 months ago
2008
We study the efficient evaluation of top-k queries over data items, where the score of each item is dynamically computed by applying an item-specific function whose parameter valu...