1750 search results - page 239 / 350 » Formal multiple-bernoulli models for language modeling |
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
153
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
138
click to vote
MONTEREY
2007
Springer
16 years 5 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
146
click to vote
FM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
140
click to vote
DBPL
2007
Springer
16 years 6 days ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...