Sciweavers

46 search results - page 2 / 10
» A Topological Method for Finding Invariant Sets of Continuou...
Sort
View
CG
2005
Springer
13 years 4 months ago
Two-dimensional invariant manifolds in four-dimensional dynamical systems
This paper explores the visualization of two-dimensional stable and unstable manifolds of the origin (a saddle point) in a four-dimensional Hamiltonian system arising from control...
Hinke M. Osinga
CORR
2010
Springer
238views Education» more  CORR 2010»
13 years 5 months ago
Face Identification by SIFT-based Complete Graph Topology
This paper presents a new face identification system based on Graph Matching Technique on SIFT features extracted from face images. Although SIFT features have been successfully us...
Dakshina Ranjan Kisku, Ajita Rattani, Enrico Gross...
VIS
2007
IEEE
80views Visualization» more  VIS 2007»
14 years 6 months ago
Topologically Clean Distance Fields
Analysis of materials obtained from physical simulations is important in the physical sciences. Our research was motivated by the need to investigate the properties of a simulated...
Attila G. Gyulassy, Mark A. Duchaineau, Vijay Na...
AUTOMATICA
2008
91views more  AUTOMATICA 2008»
13 years 3 months ago
Geometric characterization on the solvability of regulator equations
The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The `feedback' part of the regulator equation, ...
Xiaohua Xia, Jiangfeng Zhang
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 3 months ago
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
Silvio Ghilardi, Silvio Ranise