605 search results - page 64 / 121 » A strategy for efficiently verifying requirements |
ICRA
2010
IEEE
2010
IEEE
Autonomous flight at low altitude with vision-based collision avoidance and GPS-based path following
13 years 7 months ago
The ability to fly at low altitude while actively avoiding collisions with the terrain and other objects is a great challenge for small unmanned aircraft. This paper builds on top ...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
We investigate energy allocation strategies in image sensor networks for the purpose of maximizing the network operational lifetime. For the application scenarios that we consider...
TDP
2010
13 years 3 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...