3691 search results - page 153 / 739 » Bayesian Logic Programs |
108
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
107
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
127
click to vote
OPODIS
2003
15 years 2 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
107
click to vote
INTERSENSE
2006
ACM
15 years 6 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...