719 search results - page 86 / 144 » Solving Sparse Linear Constraints |
ASC
2004
14 years 11 months ago
2004
A novel approach for solving fuzzy model-based stability problems via evolutionary computation (EC) is presented. Gain scheduling problem of a multi-model fuzzy system that satisf...
103
click to vote
ICCV
2001
IEEE
16 years 28 days ago
2001
IEEE
A linear method for computing a projective reconstruction from a large number of images is presented and then evaluated. The method uses planar homographies between views to linea...
ICARCV
2008
IEEE
15 years 5 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
CADE
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
SAC
2010
ACM
15 years 5 months ago
2010
ACM
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...