SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
Unlike conventional layered scalable video coding, leaky prediction layered video coding (LPLC) introduces a leaky factor , which takes on values in the range between 0 and 1, to ...
Yuxin Liu, Josep Prades-Nebot, Paul Salama, Edward...
Steering and driving tasks – where the user controls a vehicle or other object along a path – are common in many simulations and games. Racing video games have provided users ...
Scott Bateman, Andre Doucette, Robert Xiao, Carl G...
—Reduced Resolution Update (RRU) video coding provides a better compression performance than H.264/AVC does. It is implemented by encoding the predicted residuals after downsampl...
Qiang Hao, Xiangyang Ji, Qingming Huang, Debin Zha...
Exercise video games combine entertainment and physical movement in an effort to encourage people to be more physically active. Multiplayer exercise games take advantage of the mo...
Tadeusz Stach, T. C. Nicholas Graham, Jeffrey Yim,...