1837 search results - page 98 / 368 » Abstraction and the C Machine Model |
182
click to vote
DICTA
2003
15 years 7 months ago
2003
Human-Machine interfaces play a role of growing importance as computer technology continues to evolve. Motivated by the desire to provide users with an intuitive gesture input syst...
161
click to vote
EMNLP
2008
15 years 7 months ago
2008
We present a novel learning framework for pipeline models aimed at improving the communication between consecutive stages in a pipeline. Our method exploits the confidence scores ...
166
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents the use of online Variational Bayes method for online Voice Activity Detection (VAD) in an unsupervised context. In conventional VAD, the final step often rel...
151
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Complexity modeling of spatial-temporal compensations in H.264/AVC decoding is performed by examining a rich set of inter- and intra-prediction modes. Specifically, we s...
167
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...