3387 search results - page 586 / 678 » Model-Checking for Real-Time Systems |
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
AUIC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Prior research on schedulability bounds focused primarily on bounding utilization as a means to meet deadline constraints. Non-trivial bounds were found for a handful of schedulin...
HT
2006
ACM
14 years 2 months ago
2006
ACM
While the Internet community recognized early on the need to store and preserve past content of the Web for future use, the tools developed so far for retrieving information from ...