2080 search results - page 259 / 416 » Collections, Cardinalities, and Relations |
148
click to vote
TACAS
2009
Springer
16 years 18 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
110
click to vote
GLOBECOM
2009
IEEE
16 years 17 days ago
2009
IEEE
—The performance of prevalent MAC protocols in MANETs relies on the level of contention in networks. While contention-based MAC protocols such as CSMA suffer from inefficiency u...
136
click to vote
ICASSP
2009
IEEE
16 years 17 days ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...
137
click to vote
ICASSP
2009
IEEE
16 years 17 days ago
2009
IEEE
Performance of n-gram language models depends to a large extent on the amount of training text material available for building the models and the degree to which this text matches...
167
click to vote
ICASSP
2009
IEEE
16 years 17 days ago
2009
IEEE
We present a system that detects human falls in the home environment, distinguishing them from competing noise, by using only the audio signal from a single far-field microphone....