Sciweavers

1021 search results - page 60 / 205
» On the generalized Navier-Stokes equations
Sort
View
TFCV
2000
13 years 11 months ago
Epipolar Geometry in Polycentric Panoramas
We introduce a new class of panoramic images, called polycentric panoramic images, which is a generalization from more specific classes such as single-center, multiple-center, or ...
Fay Huang, Shou Kang Wei, Reinhard Klette
ARC
2010
Springer
105views Hardware» more  ARC 2010»
13 years 10 months ago
Lyapunov functionals and matrices
In the talk we present a survey of the current state of art in the area of quadratic functionals with prescribed time derivatives. The ...rst contribution dedicated to the topic w...
Vladimir L. Kharitonov
CORR
2008
Springer
107views Education» more  CORR 2008»
13 years 10 months ago
Randomized Methods for Linear Constraints: Convergence Rates and Conditioning
We study randomized variants of two classical algorithms: coordinate descent for systems of linear equations and iterated projections for systems of linear inequalities. Expanding...
D. Leventhal, A. S. Lewis
FOSSACS
2009
Springer
14 years 4 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
TIT
2011
209views more  TIT 2011»
13 years 5 months ago
Belief Propagation and LP Relaxation for Weighted Matching in General Graphs
Loopy belief propagation has been employed in a wide variety of applications with great empirical success, but it comes with few theoretical guarantees. In this paper we analyze t...
Sujay Sanghavi, Dmitry M. Malioutov, Alan S. Wills...