Sciweavers

3028 search results - page 461 / 606
» Integrating Temporal Logics
Sort
View
VTC
2010
IEEE
102views Communications» more  VTC 2010»
13 years 8 months ago
Trace-Based Evaluation of Rate Adaptation Schemes in Vehicular Environments
Abstract—There has been a variety of rate adaptation solutions proposed for both indoor and mobile scenarios. However, dynamic channel changing conditions (e.g., temporal channel...
Kevin C. Lee, Juan M. Navarro, Tin Y. Chong, Uichi...
CVPR
2011
IEEE
13 years 6 months ago
Importance Filtering for Image Retargeting
Content-aware image retargeting has attracted a lot of interests recently. The key and most challenging issue for this task is how to balance the tradeoff between preserving the i...
Yuanyuan Ding, Jing Xiao
CVPR
2011
IEEE
13 years 5 months ago
Random Field Topic Model for Semantic Region Analysis in Crowded Scenes from Tracklets
In this paper, a Random Field Topic (RFT) model is proposed for semantic region analysis from motions of objects in crowded scenes. Different from existing approaches of learning ...
Bolei Zhou, Xiaogang Wang
PAMI
2011
13 years 5 months ago
Coded Strobing Photography: Compressive Sensing of High Speed Periodic Videos
—We show that, via temporal modulation, one can observe and capture a high-speed periodic video well beyond the abilities of a low-frame-rate camera. By strobing the exposure wit...
Ashok Veeraraghavan, Dikpal Reddy, Ramesh Raskar
RE
2010
Springer
13 years 4 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis