10568 search results - page 357 / 2114 » Computer Intelligence and Formalization |
152
Voted
AISC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The Complete Root Classification for a univariate polynomial with symbolic coefficients is the collection of all the possible cases of its root classification, together w...
178
Voted
WIA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In 6], G. Myers describes a bit-vector algorithm to compute the edit distance between strings. The algorithm converts an input sequence to an output sequence in a paralle...
211
Voted
AAAI
2007
15 years 10 months ago
2007
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
199
Voted
AAMAS
2005
Springer
15 years 7 months ago
2005
Springer
Spurred by a range of potential applications, there has been a growing body of research in computational models of human emotion. To advance the development of these models, it is...
216
Voted
AAAI
2012
13 years 10 months ago
2012
The multiagent systems community has adopted game theory as a framework for the design of systems of multiple self-interested agents. For this to be effective, efficient algorith...