1750 search results - page 34 / 350 » Formal multiple-bernoulli models for language modeling |
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
DBSEC
2008
14 years 11 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
SAC
2000
ACM
15 years 1 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
EMNLP
2008
14 years 11 months ago
2008
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...
CADE
2004
Springer
15 years 10 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...