1894 search results - page 239 / 379 » A TLA Proof System |
151
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
151
click to vote
COLCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modi...
154
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a theoretical and experimental study on the limitations of copy-on-write snapshots and incremental backups in terms of data recoverability. We provide mathemat...
148
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
131
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...