436 search results - page 53 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
146
Voted
KBSE
2005
IEEE
15 years 8 months 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...
107
Voted
WS
2004
ACM
15 years 8 months ago
2004
ACM
Many studies on measurement and characterization of wireless LANs (WLANs) have been performed recently. Most of these measurements have been conducted from the wired portion of th...
134
Voted
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
114
Voted
ICIP
2007
IEEE
15 years 9 months ago
2007
IEEE
Scalable video coding (SVC) is an extension of H.264/AVC, which is currently being developed by the Joint Video Team. SVC supports any combination of temporal, spatial, and SNR sc...
128
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a principled and practical method for the computation of visual saliency of spatiotemporal events in full motion videos. Based on the assumption that uniquenes...