268 search results - page 16 / 54 » Equivalence for the G3'-stable models semantics |
POPL
2005
ACM
14 years 8 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a new method to automatically add n-grams containing out-of-vocabulary (OOV) words to a baseline language model (LM), where these n-grams are sought to be gram...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
JUCS
2010
13 years 2 months ago
2010
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...