8825 search results - page 208 / 1765 » All for one or one for all |
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
101
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We derive cost formulae for three di erent parallelisation techniques for training supervised networks. These formulae are parameterised by properties of the target computer archit...
110
click to vote
ECAI
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
KDD
1998
ACM
15 years 5 months ago
1998
ACM
Wedescribe an industrial-strength data mining application in telecommunications.Theapplication requires building a short (7 byte) profile for all telephonenumbersseen on a large t...
100
click to vote
ICANN
1997
Springer
15 years 5 months ago
1997
Springer
A new method for performing a nonlinear form of Principal Component Analysis is proposed. By the use of integral operator kernel functions, one can e ciently compute principal comp...