13383 search results - page 303 / 2677 » Abstractions from proofs |
161
click to vote
APWEB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce Socio-Sense Web analysis system. The system applies structural and temporal analysis methods to long term Web archive to obtain insight into the real society...
152
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. For the 2008 participation at GeoCLEF, we focused on improving the extraction of geographic signatures from documents and optimising their use for GIR. The results show t...
197
click to vote
LANMR
2004
15 years 8 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
184
Voted
SEC
2003
15 years 8 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose an authentication scheme where forgery (a.k.a. impersonation) seems infeasible without finding the prover's long-term private key. The latter is equivalen...