2519 search results - page 472 / 504 » Reasoning with Textual Cases |
122
click to vote
HOTOS
1993
IEEE
15 years 4 months ago
1993
IEEE
I argue against trying to solve the problem of clustering objects into disk pages. Instead, I propose that objects be fetched in groups that may be specific to an application or ...
147
click to vote
COLT
1994
Springer
15 years 4 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...
126
click to vote
ICS
1993
Tsinghua U.
15 years 3 months ago
1993
Tsinghua U.
Mapping data to parallel computers aims at minimizing the execution time of the associated application. However, it can take an unacceptable amount of time in comparison with the ...
118
click to vote
SMA
1993
ACM
15 years 3 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
AFRICACRYPT
2009
Springer
15 years 3 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...