Sciweavers

3991 search results - page 257 / 799
» Bounding homogeneous models
Sort
View
SYNASC
2006
IEEE
121views Algorithms» more  SYNASC 2006»
16 years 23 days ago
Color Texture Modeling and Color Image Decomposition in a Variational-PDE Approach
This paper is devoted to a new variational model for color texture modeling and color image decomposition into cartoon and texture. A given image f in the RGB space is decomposed ...
Luminita A. Vese, Stanley Osher
FUIN
2006
142views more  FUIN 2006»
15 years 6 months ago
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewia...
AMC
2011
14 years 10 months ago
General criteria for asymptotic and exponential stabilities of neural network models with unbounded delays
For a family of differential equations with infinite delay, we give sufficient conditions for the global asymptotic, and global exponential stability of an equilibrium point. Th...
Teresa Faria, José J. Oliveira
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 6 months ago
Performance evaluation for ML sequence detection in ISI channels with Gauss Markov Noise
Inter-symbol interference (ISI) channels with data dependent Gauss Markov noise have been used to model read channels in magnetic recording and other data storage systems. The Vite...
Naveen Kumar, Aditya Ramamoorthy, Murti V. Salapak...
180
Voted
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 11 months ago
Robust stability and performance analysis for multiple model adaptive controllers
— For an Estimation Based Multiple Model Switched Adaptive Control (EMMSAC) algorithm controlling a MIMO minimal LTI plant, lp, 1 ≤ p ≤ ∞ bounds on the gain from the input ...
Dominic Pasqual Buchstaller, Mark French