994 search results - page 142 / 199 » Modeling and Inference with Relational Dynamic Bayesian Netw... |
103
click to vote
SAT
2005
Springer
15 years 6 months ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
FLAIRS
2007
15 years 3 months ago
2007
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
102
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The reconstruction of genetic regulatory networks from microarray gene expression data has been a challenging task in bioinformatics. Various approaches to this proble...
303
click to vote
Publication
This paper aims to address the problem of anomaly detection and discrimination in complex behaviours, where anomalies are subtle and difficult to detect owing to the complex tempor...
121
click to vote
ENTCS
2008
15 years 1 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...