Sciweavers

2938 search results - page 85 / 588
» On obfuscating point functions
Sort
View
TROB
2002
116views more  TROB 2002»
15 years 6 months ago
Visual servoing via navigation functions
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
Noah J. Cowan, Joel Weingarten, Daniel E. Koditsch...
PKDD
2010
Springer
169views Data Mining» more  PKDD 2010»
15 years 4 months ago
Classification with Sums of Separable Functions
Abstract. We present a novel approach for classification using a discretised function representation which is independent of the data locations. We construct the classifier as a su...
Jochen Garcke
AUTOMATICA
2011
15 years 1 months ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...
ISCAS
2005
IEEE
179views Hardware» more  ISCAS 2005»
15 years 12 months ago
Robust stabilization of control systems using piecewise linear Lyapunov functions and evolutionary algorithm
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
K. Tagawa, Y. Ohta
TPHOL
1995
IEEE
15 years 9 months ago
HOLCF: Higher Order Logic of Computable Functions
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
Franz Regensburger