10159 search results - page 531 / 2032 » System Design Validation Using Formal Models |
170
click to vote
NAACL
1994
15 years 7 months ago
1994
To achieve reasonable accuracy in large vocabulary speech recognition systems, it is important to use detailed acoustic models together with good long span language models. For ex...
231
click to vote
PSIVT
2007
Springer
16 years 13 days ago
2007
Springer
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
149
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
197
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we focus on mechanism design for single leader Stackelberg problems, which are a special case of hierarchical decision making problems in which a distinguished agent...
143
click to vote
INFOCOM
2009
IEEE
16 years 29 days ago
2009
IEEE
We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...