3691 search results - page 581 / 739 » Bayesian Logic Programs |
186
click to vote
BMCBI
2005
15 years 6 months ago
2005
: One of the most evident achievements of bioinformatics is the development of methods that transfer biological knowledge from characterised proteins to uncharacterised sequences. ...
180
Voted
SAC
2002
ACM
15 years 5 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
160
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
156
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
143
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...