4520 search results - page 522 / 904 » Algebraic Techniques for Timed Systems |
237
click to vote
AUIC
2006
IEEE
16 years 1 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...
189
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
185
click to vote
ACMACE
2005
ACM
16 years 1 months ago
2005
ACM
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...
177
click to vote
HICSS
2003
IEEE
16 years 28 days ago
2003
IEEE
JIGSAW is a well-known technique for collaborative learning. Students typically use it in a face-to-face setting without computer support. This paper describes a Webbased tool for...
183
click to vote
FCCM
2000
IEEE
16 years 1 days ago
2000
IEEE
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...