113 search results - page 10 / 23 » Solving Boolean Equations Using ROSOP Forms |
ECCV
2006
Springer
16 years 11 hour ago
2006
Springer
i Integration of surface normal vectors is a vital component in many shape reconstruction algorithms that require integrating surface normals to produce their final outputs, the de...
JUCS
2010
14 years 8 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
SMC
2010
IEEE
14 years 8 months ago
2010
IEEE
—The paper concerns approximate dynamic decision making. It deals with solving Bellman equation to obtain the Bellman function via so-called suboptimal strategies. The suboptimal...
116
click to vote
ICCAD
2002
IEEE
15 years 7 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
89
Voted
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a method to detect objects and patterns in textures on general surfaces. Our approach applies the Chan?Vese variational model for active contours without edges to the p...