8903 search results - page 102 / 1781 » Alternative |
CSL
2010
Springer
14 years 10 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
14 years 10 months ago
2007
Springer
ADCM
2010
14 years 10 months ago
2010
AES
2008
Springer
14 years 10 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...
ANOR
2010
14 years 10 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...