2685 search results - page 171 / 537 » A Formal Semantics for SPKI |
175
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
158
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
268
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
175
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present an approach that combines multimedia reasoning and natural language processing for the semantic integration of automatic and manual image annotations base...
185
click to vote
ICSOC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...