33356 search results - page 6339 / 6672 » Models of Continual Computation |
202
Voted
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
216
click to vote
WACV
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
281
click to vote
ISLPED
2005
ACM
16 years 8 days ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
203
click to vote
MM
2005
ACM
16 years 8 days ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
152
click to vote
MSWIM
2005
ACM
16 years 8 days ago
2005
ACM
The concept of care-of-address (CoA) is a major cause of excessive handoff delay in Mobile IPv6 for real time multimedia traffic. Many schemes eliminate the use of CoA at the micr...