4242 search results - page 47 / 849 » An Event Spacing Experiment |
WSC
2001
13 years 9 months ago
2001
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...
MR
2006
13 years 7 months ago
2006
Power electronic devices are susceptible to catastrophic failures when they are exposed to energetic particles; the most serious failure mechanism is single event burnout (SEB). S...
NIPS
2004
13 years 9 months ago
2004
We provide a method for mass meta-analysis in a neuroinformatics database containing stereotaxic Talairach coordinates from neuroimaging experiments. Database labels are used to g...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...