6358 search results - page 322 / 1272 » Computing spectral sequences |
145
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We construct a family of iterative discretization algorithms for computing sequences of finitely-supported correlated equilibria of n-player games with polynomial utility func...
186
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
176
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes an approach to compute viewnormalized body part trajectories of pedestrians from monocular video sequences. The proposed approach first extracts the 2D trajec...
176
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
312
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
Problems in computational finance share many of the characteristics that challenge us in statistical circuit analysis: high dimensionality, profound nonlinearity, stringent accura...