Sciweavers

11488 search results - page 355 / 2298
» Robust optimization - methodology and applications
Sort
View
COMCOM
2000
97views more  COMCOM 2000»
15 years 6 months ago
Verification of security protocols using LOTOS-method and application
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
Guy Leduc, François Germeau
CDC
2010
IEEE
131views Control Systems» more  CDC 2010»
15 years 1 months ago
Adaptive backstepping controller for uncertain systems with unknown input time-delay. Application to SI engines
In this paper, we study the equilibrium regulation of potentially unstable linear systems with an unknown input time-delay and unknown parameters in the plant. We extend recent res...
Delphine Bresch-Pietri, Jonathan Chauvin, Nicolas ...
IPL
2011
63views more  IPL 2011»
15 years 1 months ago
Edge-colored graphs with applications to homogeneous faults
In this paper, we use the concept of edge-colored graphs to model homogeneous faults in networks. We then use this model to study the minimum connectivity (and design) requirement...
Yongge Wang, Yvo Desmedt
JMLR
2010
159views more  JMLR 2010»
15 years 1 months ago
Inference of Sparse Networks with Unobserved Variables. Application to Gene Regulatory Networks
Networks are becoming a unifying framework for modeling complex systems and network inference problems are frequently encountered in many fields. Here, I develop and apply a gener...
Nikolai Slavov
ICASSP
2011
IEEE
14 years 10 months ago
Rao-Blackwellized particle filter for Gaussian mixture models and application to visual tracking
One of the most important problems in visual tracking is how to incrementally update the appearance model because the appearance of a target object can be easily changed with time...
Jungho Kim, In-So Kweon