Sciweavers

3678 search results - page 118 / 736
» On the Stable Paths Problem
Sort
View
147
Voted
AI
2001
Springer
15 years 4 months ago
Stratified Partial-Order Logic Programming
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
Mauricio Osorio, Juan Carlos Nieves
100
Voted
SCL
2008
106views more  SCL 2008»
15 years 21 days ago
Output-feedback control for stabilization on SE(3)
This paper addresses the problem of stabilizing systems that evolve on SE(3). The proposed solution consists of an output-feedback controller that guarantees almost global asympto...
Rita Cunha, Carlos Silvestre, João Pedro He...
89
Voted
MOC
2000
83views more  MOC 2000»
15 years 17 days ago
Stability and B-convergence properties of multistep Runge-Kutta methods
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
Shoufu Li
95
Voted
ICCV
2007
IEEE
16 years 2 months ago
A Robust Graph-Based Method for The General Correspondence Problem Demonstrated on Image Stitching
We pose robust matching with parametric and non-parametric constraints as the problem of finding a stable independent set (SIS) in an oriented graph whose vertices are all possible...
Martin Bujnak, Radim Sára
MOC
2011
14 years 7 months ago
A two-level enriched finite element method for a mixed problem
The simplest pair of spaces P1/P0 is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is enhance the finite element spaces inside a PetrovGalerkin ...
Alejandro Allendes, Gabriel R. Barrenechea, Erwin ...