6047 search results - page 1011 / 1210 » A Scenario Construction Process |
211
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— The mapping and localization problems have received considerable attention in robotics recently. The exploration problem that drives mapping has started to generate sim...
190
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes a parallel implementation of our recently developed algorithm for phylogenetic analysis on the IBM BlueGene/L cluster [15]. This algorithm constructs evolutio...
212
click to vote
ISESE
2006
IEEE
16 years 1 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
207
click to vote
PRDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
227
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...