Sciweavers

2584 search results - page 270 / 517
» On the Forward Checking Algorithm
Sort
View
JCS
2006
118views more  JCS 2006»
15 years 3 months ago
Language based policy analysis in a SPKI Trust Management System
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
Arun K. Eamani, A. Prasad Sistla
CDC
2010
IEEE
123views Control Systems» more  CDC 2010»
14 years 10 months ago
Causal observability of nonlinear time-delay systems with unknown inputs
This paper investigates the problem of causal observability of the states and unknown inputs of nonlinear time-delay systems. Using the theory of non-commutative rings, the nonline...
Gang Zheng, Jean-Pierre Barbot, Driss Boutat, Thie...
ICASSP
2011
IEEE
14 years 7 months ago
Look ahead orthogonal matching pursuit
For compressive sensing, we endeavor to improve the recovery performance of the existing orthogonal matching pursuit (OMP) algorithm. To achieve a better estimate of the underlyin...
Saikat Chatterjee, Dennis Sundman, Mikael Skoglund
ECCV
2004
Springer
16 years 5 months ago
Scene and Motion Reconstruction from Defocused and Motion-Blurred Images via Anisotropic Diffusion
We propose a solution to the problem of inferring the depth map, radiance and motion of a scene from a collection of motion-blurred and defocused images. We model motion-blur and d...
Paolo Favaro, Martin Burger, Stefano Soatto
ICIP
2009
IEEE
16 years 4 months ago
Sparsity And Morphological Diversity For Hyperspectral Data Analysis
Recently morphological diversity and sparsity have emerged as new and effective sources of diversity for Blind Source Separation. Based on these new concepts, novel methods such a...