1095 search results - page 46 / 219 » Preprocessing of Intractable Problems |
98
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
107
click to vote
COLING
2008
15 years 2 months ago
2008
This paper describes a parameter estimation method for multi-label classification that does not rely on approximate inference. It is known that multi-label classification involvin...
101
Voted
NIPS
2007
15 years 2 months ago
2007
Markov jump processes play an important role in a large number of application domains. However, realistic systems are analytically intractable and they have traditionally been ana...
86
Voted
AIPS
2006
15 years 2 months ago
2006
This paper presents an adaptation of the standard quantum search technique to enable application within Dynamic Programming, in order to optimise a Markov Decision Process. This i...
87
Voted
AAAI
1998
15 years 2 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...