Sciweavers

1638 search results - page 103 / 328
» Properties of input-consuming derivations
Sort
View
PAA
2006
14 years 10 months ago
Classifying image texture with statistical landscape features
This paper proposes to use three-dimensional information derived from the graph of an image function for texture description. The graph of an image function is a rumpled surface ap...
Cun Xu, Yan Chen
PAMI
2006
111views more  PAMI 2006»
14 years 10 months ago
Global Segmentation and Curvature Analysis of Volumetric Data Sets Using Trivariate B-Spline Functions
This paper presents a method to globally segment volumetric images into regions that contain convex or concave (elliptic) iso-surfaces, planar or cylindrical (parabolic) iso-surfa...
Octavian Soldea, Gershon Elber, Ehud Rivlin
SCL
2008
113views more  SCL 2008»
14 years 10 months ago
Modular design of nonlinear observers for state and disturbance estimation
This work studies the problem of design of nonlinear observers in the presence of exogenous disturbances. In particular, the present work proposes a systematic design method for no...
Costas Kravaris, Georgios Savoglidis
SLOGICA
2008
126views more  SLOGICA 2008»
14 years 10 months ago
On the Proof Theory of the Modal mu-Calculus
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
Thomas Studer
AUTOMATICA
2005
121views more  AUTOMATICA 2005»
14 years 10 months ago
Robust state observer and control design using command-to-state mapping
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
Zhihua Qu