Sciweavers

5608 search results - page 132 / 1122
» On the Theory of Matchgate Computations
Sort
View
108
Voted
CORR
2008
Springer
149views Education» more  CORR 2008»
15 years 1 months ago
Gaussian Belief Propagation for Solving Systems of Linear Equations: Theory and Application
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we...
Ori Shental, Danny Bickson, Paul H. Siegel, Jack K...
JFP
2008
135views more  JFP 2008»
15 years 1 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...

Tutorial
1603views
16 years 4 months ago
Adaptive Filters
"These video lectures provide a thorough and unified treatment of adaptive filters and their performance. The lectures cover the fundamentals of linear estimation theory, adap...
Ali H. Sayed
GD
2004
Springer
15 years 7 months ago
Fast Algorithms for Hard Graph Problems: Bidimensionality, Minors, and Local Treewidth
Abstract. This paper surveys the theory of bidimensional graph problems. We summarize the known combinatorial and algorithmic results of this theory, the foundational Graph Minor r...
Erik D. Demaine, Mohammad Taghi Hajiaghayi
GIAE
2004
Springer
159views Mathematics» more  GIAE 2004»
15 years 7 months ago
A Survey of Moving Frames
This paper surveys the new, algorithmic theory of moving frames developed by the author and M. Fels. Applications in geometry, computer vision, classical invariant theory, the cal...
Peter J. Olver