219 search results - page 20 / 44 » Computational Approaches to Reachability Analysis of Stochas... |
158
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
132
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
178
Voted
HAIS
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
152
click to vote
CIBCB
2006
IEEE
15 years 8 months ago
2006
IEEE
In recent years, unsupervised gene (feature) selection has become an integral part of microarray analysis because of the large number of genes and complexity in biological systems....
178
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...