3994 search results - page 471 / 799 » A Linear Logical Framework |
188
Voted
NPAR
2004
ACM
16 years 27 days ago
2004
ACM
Artistic rendering is an important research area in Computer Graphics, yet relatively little attention has been paid to the projective properties of computer generated scenes. Mot...
170
Voted
DATE
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper presents an efficient approach to compute the dominant poles for the reduced-order admittance (Y parameter) matrix of lossy interconnects. Using the global approximati...
194
Voted
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
223
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
176
click to vote
FSE
2008
Springer
15 years 9 months ago
2008
Springer
Consider the permutation S in RC4. Roos pointed out in 1995 that after the Key Scheduling Algorithm (KSA) of RC4, each of the initial bytes of the permutation, i.e., S[y] for smal...