1546 search results - page 140 / 310 » Context-Aware Computing with Sound |
135
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
191
Voted
SAS
1991
Springer
15 years 8 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
149
Voted
ITP
2010
15 years 7 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
141
Voted
IJCAI
1997
15 years 6 months ago
1997
Understanding three simultaneous speeches is proposed as a challenge problem to foster artificial intelligence, speech and sound understanding or recognition, and computational au...
127
Voted
ASSETS
2010
ACM
15 years 5 months ago
2010
ACM
Existing automated transcription solutions filter out environmental noises and focus only on transcribing the spoken word. This leaves deaf and hard of hearing users with no way o...