Sciweavers

2008 search results - page 62 / 402
» Computing with Equations
Sort
View
PAMI
2007
129views more  PAMI 2007»
13 years 8 months ago
Algorithmic Differentiation: Application to Variational Problems in Computer Vision
Abstract— Many vision problems can be formulated as minimization of appropriate energy functionals. These energy functionals are usually minimized, based on the calculus of varia...
Thomas Pock, Michael Pock, Horst Bischof
MKM
2009
Springer
14 years 3 months ago
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
Aleks Kissinger
ASIAN
2006
Springer
134views Algorithms» more  ASIAN 2006»
14 years 25 days ago
Computational Soundness of Formal Indistinguishability and Static Equivalence
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
Gergei Bana, Payman Mohassel, Till Stegers
PKC
2007
Springer
109views Cryptology» more  PKC 2007»
14 years 3 months ago
High Order Linearization Equation (HOLE) Attack on Multivariate Public Key Cryptosystems
Abstract. In the CT-track of the 2006 RSA conference, a new multivariate public key cryptosystem, which is called the Medium Field Equation (MFE) multivariate public key cryptosyst...
Jintai Ding, Lei Hu, Xuyun Nie, Jianyu Li, John Wa...
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
14 years 3 months ago
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
Ngai Wong