10568 search results - page 357 / 2114 » Computer Intelligence and Formalization |
108
click to vote
AISC
2006
Springer
15 years 8 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...
129
click to vote
WIA
2000
Springer
15 years 7 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...
141
click to vote
AAAI
2007
15 years 6 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...
145
click to vote
AAMAS
2005
Springer
15 years 4 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...
152
click to vote
AAAI
2012
13 years 6 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...