1274 search results - page 115 / 255 » New Proofs for |
158
click to vote
ALT
2008
Springer
16 years 2 months ago
2008
Springer
We consider the problem of learning to predict as well as the best in a group of experts making continuous predictions. We assume the learning algorithm has prior knowledge of the ...
141
Voted
ICCAD
2007
IEEE
2007
IEEE
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
16 years 2 months ago
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...
145
click to vote
APLAS
2009
ACM
16 years 8 days ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
174
click to vote
COLCOM
2008
IEEE
16 years 7 days 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...
140
click to vote
ACISP
2004
Springer
15 years 11 months ago
2004
Springer
A new type of signature scheme, called NTRUSign, based on solving the approximately closest vector problem in a NTRU lattice was proposed at CT-RSA’03. However no security proof ...