Sciweavers

25041 search results - page 4272 / 5009
» Algorithms for Clustering Data
Sort
View
STTT
2010
97views more  STTT 2010»
15 years 5 months ago
Distributed dynamic partial order reduction
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Rob...
TIP
2010
150views more  TIP 2010»
15 years 5 months ago
Study of Subjective and Objective Quality Assessment of Video
Abstract—We present the results of a recent large-scale subjective study of video quality on a collection of videos distorted by a variety of application-relevant processes. Meth...
Kalpana Seshadrinathan, Rajiv Soundararajan, Alan ...
TMC
2010
230views more  TMC 2010»
15 years 5 months ago
Bandwidth Recycling in IEEE 802.16 Networks
—IEEE 802.16 standard was designed to support the bandwidth demanding applications with quality of service (QoS). Bandwidth is reserved for each application to ensure the QoS. Fo...
D. Chuck, J. M. Chang
UIC
2010
Springer
15 years 5 months ago
Smart Itinerary Recommendation Based on User-Generated GPS Trajectories
Traveling to unfamiliar regions require a significant effort from novice travelers to plan where to go within a limited duration. In this paper, we propose a smart recommendation...
Hyoseok Yoon, Yu Zheng, Xing Xie, Woontack Woo
VTC
2010
IEEE
163views Communications» more  VTC 2010»
15 years 5 months ago
An ARQ Mechanism with Rate Control for Two-Hop Relaying Systems
— Wireless multi-hop relaying has been attracting considerable attention as a promising technique for future communication systems. The multi-hop relaying technique has many bene...
Soo-Yong Jeon, Dong-Ho Cho
« Prev « First page 4272 / 5009 Last » Next »