ISMVL
2006
IEEE
14 years 5 months ago
2006
IEEE
We define the MaxSAT problem for many-valued CNF formulas, called many-valued MaxSAT, and establish its complexity class. We then describe a basic branch and bound algorithm for ...
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
Pharmaceutic studies require to analyze thousands of ECGs in order to evaluate the side effects of a new drug. In this paper we present a new approach to automatic ECG segmentatio...
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
In order for an autonomous agent to behave robustly in a variety of environments, it must have the ability to learn approximations to many different functions. The function approx...
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
We present an ensemble learning approach that achieves accurate predictions from arbitrarily partitioned data. The partitions come from the distributed processing requirements of ...
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
Enterprise corpora contain evidence of what employees work on and therefore can be used to automatically find experts on a given topic. We present a general approach for represen...
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...
ICTAI
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...