1992 search results - page 87 / 399 » Model Based Testing with Labelled Transition Systems |
120
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— A new Estimation of Distribution Algorithm (EDA) with spline kernel function (EDA_S) is proposed to optimize biped gait for a nine-link humanoid robot. Gait synthesis of the bi...
129
Voted
CIDU
2010
15 years 19 days ago
2010
Abstract. Climate models are complex mathematical models designed by meteorologists, geophysicists, and climate scientists to simulate and predict climate. Given temperature predic...
236
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
133
Voted
MPC
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
125
Voted
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
Most on-line cursive handwriting recognition systems use a lexical constraint to help improve the recognition performance. Traditionally, the vocabulary lexicon is stored in a trie...