Sciweavers

161 search results - page 7 / 33
» Equation Solving in Conditional AC-Theories
Sort
View
FORTE
2003
15 years 3 months ago
Progressive Solutions to a Parallel Automata Equation
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko...
112
Voted
DAGSTUHL
2007
15 years 3 months ago
Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms
We survey on theoretical properties and algorithms concerning the problem of solving a nonsymmetric algebraic Riccati equation, and we report on some known methods and new algorit...
Dario Andrea Bini, Bruno Iannazzo, Beatrice Meini,...
132
Voted
CVPR
2011
IEEE
14 years 10 months ago
Shape from Specular Flow: Is One Flow Enough?
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface...
Yuriy Vasilyev, Todd Zickler, Steven Gortler, Ohad...
CISS
2010
IEEE
14 years 5 months ago
Unconstrained minimization of quadratic functions via min-sum
—Gaussian belief propagation is an iterative algorithm for computing the mean of a multivariate Gaussian distribution. Equivalently, the min-sum algorithm can be used to compute ...
Nicholas Ruozzi, Sekhar Tatikonda
MOC
2010
14 years 8 months ago
Entropy-satisfying relaxation method with large time-steps for Euler IBVPs
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
Frédéric Coquel, Quang Long Nguyen, ...