15421 search results - page 176 / 3085 » Dependability |
131
click to vote
GECCO
2003
Springer
15 years 11 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...
165
click to vote
DATE
2000
IEEE
15 years 11 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...
155
click to vote
ICRA
1998
IEEE
15 years 10 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...
184
click to vote
PLDI
1998
ACM
15 years 10 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 ...
172
click to vote
ITP
2010
15 years 10 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...