3228 search results - page 391 / 646 » Computationally Sound Proofs |
148
click to vote
CDC
2008
IEEE
15 years 10 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...
144
click to vote
COLCOM
2008
IEEE
15 years 10 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...
143
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...
126
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...
107
click to vote
ARITH
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...