1523 search results - page 186 / 305 » Partially ordered secretaries |
95
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...
122
click to vote
BMCBI
2010
15 years 28 days ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
115
Voted
JFP
2000
15 years 18 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
108
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
Multi-view learning algorithms typically assume a complete bipartite mapping between the different views in order to exchange information during the learning process. However, ma...
92
Voted
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...