4971 search results - page 150 / 995 » Observation systems |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
COODBSE
1994
13 years 11 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
ICDE
2010
IEEE
13 years 10 months ago
2010
IEEE
— We are currently witnessing an increasing interest in the use of the web as an information and knowledge source. Much of the information sought after in the web is in this case...
TROB
2002
13 years 9 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...