973 search results - page 79 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
The success of spoken dialog applications depends strongly on the quality of the semantic confidence measure that determines the selection of the dialog strategy. However, the sem...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
TSE
1998
13 years 7 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
PEPM
1999
ACM
13 years 12 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...