Wearables are frequently designed to support users engaged in complex “real world” activities, ranging from food inspection to ground combat. Unfortunately, wearables also hav...
This paper compares position measurement techniques using dead reckoning. We are seeking to find a technique which is suitable for use by pedestrians, and have compared a number ...
This work presents a method for automatic generate suggestions of related queries submitted to Web search engines. The method extracts information from the log of past submitted q...
Bruno M. Fonseca, Paulo Braz Golgher, Edleno Silva...
This paper presents a novel method to recover lost packets in music streaming using a synthesizer to generate percussive sounds. As an improvement of the state-of-the-art system t...
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
Warren A. Hunt Jr., Robert Bellarmine Krug, J. Str...