1768 search results - page 59 / 354 » A Logic for Algebraic Effects |
80
Voted
FAC
2008
15 years 22 days ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
111
click to vote
ENTCS
2006
15 years 20 days ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
101
Voted
CADE
2001
Springer
16 years 29 days ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
134
Voted
ECOWS
2007
Springer
15 years 6 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
84
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...