Sciweavers

2312 search results - page 124 / 463
» Invariance in Property Testing
Sort
View
AUTOMATICA
2010
119views more  AUTOMATICA 2010»
15 years 4 months ago
Path following for the PVTOL aircraft
This article presents a solution to the path following problem for the planar vertical take-off and landing aircraft (PVTOL) which is applicable to a class of smooth Jordan curves...
Luca Consolini, Manfredi Maggiore, Christopher Nie...
ENTCS
2008
120views more  ENTCS 2008»
15 years 4 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
AUTOMATICA
2005
108views more  AUTOMATICA 2005»
15 years 4 months ago
Enlarging the domain of attraction of MPC controllers
This paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The usual way of guaranteeing stability of nonlinear MPC is to add...
Daniel Limón, T. Alamo, Eduardo F. Camacho
CVPR
2011
IEEE
14 years 7 months ago
Visual textures as realizations of multivariate log-Gaussian Cox processes
In this paper, we address invariant keypoint-based texture characterization and recognition. Viewing keypoint sets associated with visual textures as realizations of point process...
Huu-Giao Nguyen, Ronan Fablet, Jean-Marc Boucher
CSSC
2008
62views more  CSSC 2008»
15 years 4 months ago
An Adaptive Test for the Two-Sample Location Problem Based on U-Statistics
For the two-sample location problem we consider a general class of tests, all members of it are based on U-statistics. The asymptotic efficicacies are investigated in detail. We c...
Wolfgang Kössler, N. Kumar