8903 search results - page 102 / 1781 » Alternative |
133
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
ADCM
2010
15 years 4 months ago
2010
131
click to vote
AES
2008
Springer
15 years 4 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...
140
click to vote
ANOR
2010
15 years 4 months ago
2010
We consider the linear classification method consisting of separating two sets of points in d-space by a hyperplane. We wish to determine the hyperplane which minimises the sum of...