Sciweavers

3113 search results - page 187 / 623
» Numerical Methods
Sort
View
CORR
2008
Springer
76views Education» more  CORR 2008»
15 years 6 months ago
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
Alexandre Goldsztejn, Claude Michel, Michel Rueher
MCS
2006
Springer
15 years 6 months ago
Criteria for mixed grids in computational fluid dynamics
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...
Erwin Doescher, Haroldo F. de Campos Velho, Fernan...
CDC
2008
IEEE
132views Control Systems» more  CDC 2008»
15 years 8 months ago
Global symplectic uncertainty propagation on SO(3)
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
Taeyoung Lee, Melvin Leok, N. Harris McClamroch
ICML
2002
IEEE
16 years 7 months ago
Non-Disjoint Discretization for Naive-Bayes Classifiers
Previous discretization techniques have discretized numeric attributes into disjoint intervals. We argue that this is neither necessary nor appropriate for naive-Bayes classifiers...
Ying Yang, Geoffrey I. Webb
ICASSP
2008
IEEE
16 years 24 days ago
Stereo matching with asymmetric occlusion handling in weighted least square framework
This paper presents a novel method for stereo matching with occlusion handling. In order to estimate optimal cost, we define an energy function and solve the iterative equation w...
Dong Bo Min, Kwanghoon Sohn