2263 search results - page 95 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
120
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
128
click to vote
IJON
2007
15 years 1 months ago
2007
Unlike the conventional neural network theories and implementations, Huang et al. [Universal approximation using incremental constructive feedforward networks with random hidden n...
114
click to vote
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
107
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
121
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...