1117 search results - page 102 / 224 » Partial Models of Extended Generalized Logic Programs |
121
click to vote
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
104
click to vote
IJCAI
2007
15 years 2 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
124
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
115
click to vote
FOAL
2007
ACM
15 years 5 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...