15754 search results - page 2852 / 3151 » Programs are Knowledge Bases |
244
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
184
click to vote
CVIU
2008
15 years 7 months ago
2008
In this paper we introduce a novel method to address minimization of static and dynamic MRFs. Our approach is based on principles from linear programming and, in particular, on pr...
196
click to vote
IANDC
2008
15 years 7 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
207
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
Application scheduling plays an important role in high-performance cluster computing. Application scheduling can be classified as job scheduling and task scheduling. This paper pre...
190
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes an efficient implementation of binning for decode-and-forward (DF) in relay channels using lowdensity parity-check (LDPC) codes. Bilayer LDPC codes are devised...