1684 search results - page 130 / 337 » The lexicographic decision function |
128
Voted
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this study a confidence measure for probability density functions (pdfs) is presented. The measure can be used in one-class classification to select a pdf threshold for class i...
157
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Most models of utility elicitation in decision support and interactive optimization assume a predefined set of "catalog" features over which user preferences are express...
103
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We introduce relational temporal difference learning as an effective approach to solving multi-agent Markov decision problems with large state spaces. Our algorithm uses temporal ...
137
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
158
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...