3573 search results - page 502 / 715 » Reasoning about Codata |
187
Voted
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
140
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
158
click to vote
COSIT
1997
Springer
15 years 9 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
175
click to vote
CRYPTO
1997
Springer
15 years 9 months ago
1997
Springer
This paper considers hash functions based on block ciphers. It presents a new attack on the compression function of the 128-bit hash function MDC-4 using DES with a complexity far ...
157
click to vote
ICML
1996
IEEE
15 years 9 months ago
1996
IEEE
Recently, there has been an increased interest in "lifelong" machine learning methods, that transfer knowledge across multiple learning tasks. Such methods have repeated...