Sciweavers

573 search results - page 39 / 115
» Temporal Views as Abstract Relations
Sort
View
DCC
2002
IEEE
14 years 7 months ago
Compression Techniques for Active Video Content
Conventional digital video playback systems provide only limited user interactivity, mostly in the form of VCRlike controls such as fast forward/backward, slow motion, pause/stop,...
Anindya Neogi, Tzi-cker Chiueh
SPATIALCOGNITION
2000
Springer
13 years 11 months ago
Some Ways that Maps and Diagrams Communicate
Since ancient times, people have devised cognitive artifacts to extend memory and ease information processing. Among them are graphics, which use elements and the spatial relations...
Barbara Tversky
ICRA
2000
IEEE
129views Robotics» more  ICRA 2000»
14 years 4 days ago
Data Association for Mobile Robot Navigation: A Graph Theoretic Approach
Data association is the process of relating features observed in the environment to features viewed previously or to features in a map. Correct feature association is essential fo...
Tim Bailey, Eduardo Mario Nebot, Julio Rosenblatt,...
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Modelling of distortion caused by packet losses in video transport
Abstract— This paper analyzes transmission-error induced distortion in decoded video. A recursion model is derived that relates the distortion in successive P-frames. The model t...
Yao Wang, Zhenyu Wu, Jill M. Boyce, Xiaoan Lu
CHARME
1999
Springer
100views Hardware» more  CHARME 1999»
14 years 22 hour ago
Xs are for Trajectory Evaluation, Booleans are for Theorem Proving
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
Mark Aagaard, Thomas F. Melham, John W. O'Leary