5722 search results - page 949 / 1145 » Dynamic inference control |
138
click to vote
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
130
click to vote
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Swarming agents often operate in benign geographic topologies that let them explore alternative trajectories with minor variations that the agent dynamics then amplify for improve...
136
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Navigation and obstacle avoidance in robotics using planar laser scans has matured over the last decades. They basically enable robots to penetrate highly dynamic and populated...
130
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Recently, the problem of autonomous navigation of automobiles has gained substantial interest in the robotics community. Especially during the two recent DARPA grand challenges...
115
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...