8874 search results - page 1555 / 1775 » A New Implementation of Automath |
266
click to vote
PVM
1997
Springer
15 years 11 months ago
1997
Springer
The extremely low latencies and high bandwidth results achievable with the Scalable Coherent Interface SCI at lowest level encourages its integration into existing Message Passin...
264
click to vote
COLT
1994
Springer
15 years 11 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
190
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
A new type of optimization, called predicate move-around, ia introduced. It is shown how this optimization `considerably improvea the efficiency of evaluating SQL queries that hav...
195
click to vote
SIGIR
1992
ACM
15 years 11 months ago
1992
ACM
ct tasks such as extraction of relational information from text [Young] [Jacobs]. We describe a method for classifying news stories using Alternative systems [Biebricher] [Lewis] u...
221
click to vote
VISUALIZATION
1992
IEEE
15 years 11 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...