Micro-payment systems have become popular in recent times as the desire to support low-value, high-volume transactions of text, music, clip-art, video and other media has increase...
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...
Full-bandwidth connectivity between all servers of a data center may be necessary for all-to-all traffic patterns, but such interconnects suffer from high cost, complexity, and en...
Temporal interpolation has been recently proposed as a solution for increasing temporal resolution or even for predicting missing or corrupted frames within a video sequence. In t...
Alexis M. Tourapis, Hye-Yeon Cheong, Ming L. Liou,...
High energy traumatic impact of the craniofacial skeleton is an inevitable consequence of today's fast paced society. The work presented in this paper leverages recent advanc...
Suchendra M. Bhandarkar, Ananda S. Chowdhury, Yaro...