Sciweavers

586 search results - page 77 / 118
» Listening to the Mind Listening
Sort
View
SEFM
2007
IEEE
14 years 2 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
EUROGP
2007
Springer
102views Optimization» more  EUROGP 2007»
14 years 2 months ago
Real-Time, Non-intrusive Evaluation of VoIP
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
Adil Raja, R. Muhammad Atif Azad, Colin Flanagan, ...
ICMI
2007
Springer
161views Biometrics» more  ICMI 2007»
14 years 2 months ago
Detecting communication errors from visual cues during the system's conversational turn
Automatic detection of communication errors in conversational systems has been explored extensively in the speech community. However, most previous studies have used only acoustic...
Sy Bor Wang, David Demirdjian, Trevor Darrell
PERVASIVE
2007
Springer
14 years 2 months ago
A Time to Glance: Studying the Use of Mobile Ambient Information
Recent work by our group at Motorola Labs has focused on applying the principles of ambient interfaces to the domain of mobile communications. Our methods incorporate both formati...
Frank Bentley, Joe Tullio, Crysta J. Metcalf, Drew...
GLOBECOM
2006
IEEE
14 years 2 months ago
Voice Activity Detection for VoIP-An Information Theoretic Approach
— Voice enabled applications over the Internet are rapidly gaining popularity. Reducing the total bandwidth requirement can make a non-trivial difference for the subscribers havi...
R. Venkatesha Prasad, R. Muralishankar, S. Vijay, ...