403 search results - page 42 / 81 » Contracts for higher-order functions |
157
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Accurate identification of novel, functional noncoding (nc) RNA features in genome sequence has proven more difficult than for exons. Current algorithms identify and s...
180
click to vote
DAIS
2003
15 years 7 months ago
2003
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
168
click to vote
JCT
2002
15 years 5 months ago
2002
It is proved that there is a function f : N N such that the following holds. Let G be a graph embedded in a surface of Euler genus g with all faces of even size and with edge-wid...
162
click to vote
SIGECOM
2009
ACM
16 years 18 days ago
2009
ACM
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
155
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...