5113 search results - page 896 / 1023 » Model-integrated system development: models, architecture, a... |
190
click to vote
LREC
2008
15 years 7 months ago
2008
Large speech and text corpora are crucial to the development of a state-of-the-art speech recognition system. This paper reports on the construction and evaluation of the first Th...
271
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
173
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Recent advances in small inexpensive sensors, low-power processing, and activity modeling have enabled applications that use on-body sensing and machine learning to infer people&#...
146
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load....
215
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...