4460 search results - page 657 / 892 » Formal methods for interactive systems |
189
click to vote
3DPVT
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
152
click to vote
UIST
2006
ACM
16 years 14 days ago
2006
ACM
Scrolling is used to navigate large information spaces on small screens, but is often too restrictive or cumbersome to use for particular types of content, such as multi-page, mul...
154
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
– Future space missions are expected to use robotic systems to assemble, inspect, and maintain large space structures in orbit. To carry out these tasks, robots need to know the ...
156
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
130
click to vote
ISWC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents the development and initial user trial of a wearable computer for collecting and annotating images for field-working applications. The application is based upo...