Sciweavers

309 search results - page 10 / 62
» A New Synthesis of Symmetric Functions
Sort
View
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
15 years 6 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
ICPR
2004
IEEE
15 years 11 months ago
Non-linear Reflectance Model for Bidirectional Texture Function Synthesis
A rough texture modelling involves a huge image data-set - the Bidirectional Texture Function (BTF). This 6-dimensional function depends on planar texture coordinates as well as o...
Jirí Filip, Michal Haindl
FSE
2004
Springer
167views Cryptology» more  FSE 2004»
15 years 3 months ago
Nonce-Based Symmetric Encryption
Symmetric encryption schemes are usually formalized so as to make the encryption operation a probabilistic or state-dependent function E of the message M and the key K: the user su...
Phillip Rogaway
AMAI
2006
Springer
14 years 9 months ago
Symmetric approximate linear programming for factored MDPs with application to constrained problems
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
Dmitri A. Dolgov, Edmund H. Durfee
ECCV
2006
Springer
15 years 11 months ago
Uncalibrated Factorization Using a Variable Symmetric Affine Camera
Abstract. In order to reconstruct 3-D Euclidean shape by the TomasiKanade factorization, one needs to specify an affine camera model such as orthographic, weak perspective, and par...
Ken-ichi Kanatani, Yasuyuki Sugaya, Hanno Ackerman...