872 search results - page 156 / 175 » Sketch-based change detection: methods, evaluation, and appl... |
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Future applications will bring unmanned aerial vehicles (UAVs) to new environments such as urban areas, causing a change in the way that UAVs are currently operated. However, U...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Most e-government applications have to find a solution for simple, reliable, secure and authentic signing of official documents. Citizens need a simple way to verify ...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Autonomous mobile agents require object recognition for high level interpretation and localization in complex scenes. In urban environments, recognition of buildings mi...
CSCW
2004
ACM
14 years 28 days ago
2004
ACM
Under-contribution is a problem for many online communities. Social psychology theories of social loafing and goal-setting can provide mid-level design principles to address this ...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...