Sciweavers

19003 search results - page 325 / 3801
» We Need Assurance
Sort
View
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 4 months ago
Adaptive control using retrospective cost optimization with RLS-based estimation for concurrent Markov-parameter updating
We present a discrete-time adaptive control law that is effective for systems that are MIMO and either minimum phase or nonminimum phase. The adaptive control algorithm provides gu...
Mario A. Santillo, Matthew S. Holzel, Jesse B. Hoa...
HCI
2009
15 years 4 months ago
Agent-Based Driver Abnormality Estimation
For enhancing current driver assistance and information systems with regard to the capability to recognize an individual driver's needs, we conceive a system based on fuzzy lo...
Tony Poitschke, Florian Laquai, Gerhard Rigoll
IC3
2009
15 years 4 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler
CVPR
2011
IEEE
15 years 1 months ago
Blind Deconvolution Using A Normalized Sparsity Measure
Blind image deconvolution is an ill-posed problem that requires regularization to solve. However, many common forms of image prior used in this setting have a major drawback in th...
Dilip Krishnan, Rob Fergus
ICML
2005
IEEE
16 years 7 months ago
Large margin non-linear embedding
It is common in classification methods to first place data in a vector space and then learn decision boundaries. We propose reversing that process: for fixed decision boundaries, ...
Alexander Zien, Joaquin Quiñonero Candela