2586 search results - page 269 / 518 » Automatic Abstraction for Congruences |
173
click to vote
WEBI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Thanks to the recent explosive progress of WWW (WorldWide Web), we can easily access a large number of images from WWW. There are, however, no established methods to make...
156
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
138
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
Abstract This paper investigates whether a machine can automatically learn the task of finding, within a large collection of candidate responses, the answers to questions. The lea...
177
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
171
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...