3179 search results - page 373 / 636 » Applications of PCF Theory |
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
RECOMB
2004
Springer
14 years 10 months ago
2004
Springer
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...
RECOMB
2003
Springer
14 years 10 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Reverse skyline queries over uncertain databases have many important applications such as sensor data monitoring and business planning. Due to the existence of uncertainty in many...