2899 search results - page 401 / 580 » On the Complexity of Exclusion Algorithms for Optimization |
134
click to vote
PODS
2003
ACM
16 years 5 months ago
2003
ACM
In this paper we study the following problem. Given a database and a set of queries, we want to find, in advance, a set of views that can compute the answers to the queries, such ...
169
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
174
click to vote
CIBCB
2008
IEEE
16 years 1 days ago
2008
IEEE
— The genetic causes of many monogenic diseases have already been discovered. However, most common diseases are actually the result of complex nonlinear interactions between mult...
139
click to vote
DBPL
2007
Springer
15 years 11 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
160
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...