278 search results - page 20 / 56 » ijcai 2003 |
IJCAI
2003
15 years 2 months ago
2003
Huge amounts of data are stored in autonomous, geographically distributed sources. The discovery of previously unknown, implicit and valuable knowledge is a key aspect of the expl...
102
click to vote
IJCAI
2003
15 years 2 months ago
2003
We extend multiclass SVM to multiple prototypes per class. For this framework, we give a compact constrained quadratic problem and we suggest an efficient algorithm for its optimi...
IJCAI
2003
15 years 2 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
IJCAI
2003
15 years 2 months ago
2003
We propose a generalization of expected utility that we call generalized EU (GEU), where a deci sion maker's beliefs are represented by plausibil ity measures and the dec...
IJCAI
2003
15 years 2 months ago
2003
We identify a new and important global (or nonbinary) constraint which ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This const...