Sciweavers

8496 search results - page 457 / 1700
» Problem Solving and Complex Systems
Sort
View
INFFUS
2000
122views more  INFFUS 2000»
15 years 7 months ago
Multi-modal identity verification using expert fusion
The contribution of this paper is to compare paradigms coming from the classes of parametric, and non-parametric techniques to solve the decision fusion problem encountered in the...
Patrick Verlinde, Gérard Chollet, Marc Ache...
ISORC
1998
IEEE
15 years 12 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
RTCSA
2006
IEEE
16 years 1 months ago
Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
Jian (Denny) Lin, Albert M. K. Cheng
GECCO
2006
Springer
220views Optimization» more  GECCO 2006»
15 years 11 months ago
A comparative study of immune system based genetic algorithms in dynamic environments
Diversity and memory are two major mechanisms used in biology to keep the adaptability of organisms in the everchanging environment in nature. These mechanisms can be integrated i...
Shengxiang Yang
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 7 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...