Sciweavers

698 search results - page 86 / 140
» Complex Analysis for Reconstruction from Controlled Motion
Sort
View
TDSC
2008
152views more  TDSC 2008»
14 years 9 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
CDC
2010
IEEE
164views Control Systems» more  CDC 2010»
14 years 4 months ago
Stabilization of polytopic delay difference inclusions: Time-varying control Lyapunov functions
This paper studies stabilization of polytopic delay difference inclusions via the Razumikhin approach. An example of a linear delay difference equation that is globally exponential...
Rob H. Gielen, Mircea Lazar
AUTOMATICA
2002
126views more  AUTOMATICA 2002»
14 years 9 months ago
Halo orbit mission correction maneuvers using optimal control
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
Radu Serban, Wang Sang Koon, Martin W. Lo, Jerrold...
ICPR
2006
IEEE
15 years 11 months ago
Real Time Tracking for 3D Realistic Lip Animation
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
Brice Beaumesnil, Franck Luthon
ICDE
2000
IEEE
168views Database» more  ICDE 2000»
15 years 11 months ago
PAC Nearest Neighbor Queries: Approximate and Controlled Search in High-Dimensional and Metric Spaces
In high-dimensional and complex metric spaces, determining the nearest neighbor (NN) of a query object ? can be a very expensive task, because of the poor partitioning operated by...
Paolo Ciaccia, Marco Patella