8228 search results - page 365 / 1646 » Structural Logical Relations |
163
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes experiments on learning Dutch phonotactic rules using Inductive Logic Programming, a machine learning approach based on the notion of inverting resolution. Di...
124
click to vote
ACTA
1998
15 years 6 months ago
1998
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
169
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Virtual communities have become an important new organizational form and yet relatively little is known about the conditions which lead to their success. In an attempt to address ...
187
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
195
click to vote
ICCS
1994
Springer
15 years 11 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...