Sciweavers

7978 search results - page 1180 / 1596
» Representation before computation
Sort
View
ICISC
2004
112views Cryptology» more  ICISC 2004»
15 years 8 months ago
Improvement on Ha-Moon Randomized Exponentiation Algorithm
Randomized recoding on the exponent of an exponentiation computation into a signed-digit representation has been a well known countermeasure against some side-channel attacks. Howe...
Sung-Ming Yen, Chien-Ning Chen, Sang-Jae Moon, Jae...
IJCAI
2003
15 years 8 months ago
A Continuation Method for Nash Equilibria in Structured Games
We describe algorithms for computing Nash equilibria in structured game representations, including both graphical games and multi-agent influence diagrams (MAIDs). The algorithms...
Ben Blum, Christian R. Shelton, Daphne Koller
WSCG
2004
264views more  WSCG 2004»
15 years 8 months ago
Image Registration Exploiting Five-Point Coplanar Perspective Invariant and Maximum-Curvature Point
Image registrations have been a subject of extensive study over the last decade. They appear in numerous applications including Computer Vision, Pattern Recognition, Medical Image...
Parichart Putjarupong, Chuchart Pintavirooj, Witha...
SGP
2003
15 years 8 months ago
CLODs: Dual Hierarchies for Multiresolution Collision Detection
We present “contact levels of detail” (CLOD), a novel concept for multiresolution collision detection. Given a polyhedral model, our algorithm automatically builds a “dual h...
Miguel A. Otaduy, Ming C. Lin
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 8 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
« Prev « First page 1180 / 1596 Last » Next »