15421 search results - page 176 / 3085 » Dependability |
104
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This article presents experiments that integrate competitive coevolution of neural robot controllers with ‘co-evolution’ of robot morphologies and control systems. Mo...
129
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
118
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
In sensory data fusion and integration consideration, sensor independence is a common assumption. In this paper, we demonstrated the impact of including dependent information in s...
145
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
139
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...