5722 search results - page 805 / 1145 » Dynamic inference control |
150
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
163
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Several french laboratories, joint in the CNRS Project "Control of Legged Robots", have defined a biped robot intented to experiment walking and running gaits. This bipe...
174
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a randomized motion planner for kinodynamic asteroidavoidanceproblems, in which a robot must avoid collision with moving obstacles under kinematic, dynamic con...
175
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
172
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
Binary instrumentation facilitates the insertion of additional code into an executable in order to observe or modify the executable's behavior. There are two main approaches t...