12774 search results - page 2205 / 2555 » A Framework for Proof Systems |
226
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
179
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
177
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
165
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
175
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...