LCS Publications: Recent submissions
Now showing items 136-138 of 1152
-
Speech Perception Using Real-Time Phoneme Detection: The BeBe System
(1998-04)We define a new approach to speech recognition based on auditory perception and modeled after the human brain's tendency to automatically categorize speech sounds [House 1962; Liberman 1957]. As background, today's speech ... -
Boolean Compilation of Relational Specifications
(1998-01)A new method for analyzing relational specifications is described. A property to be checked is cast as a relational formula, which, if the property holds, has no finite models. The relational formula is translated into a ...
