3552 search results - page 465 / 711 » Proof theory in the abstract |
176
click to vote
EUROCRYPT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
139
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
156
Voted
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
202
click to vote
ISSAC
2004
Springer
16 years 18 hour ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
157
click to vote
PCM
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...