CORR
2006
Springer
13 years 11 months ago
2006
Springer
Two product array codes are used to construct the (24, 12, 8) binary Golay code through the direct sum operation. This construction provides a systematic way to find proper (8, 4, ...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
We present a deterministic approximation algorithm to compute logarithm of the number of `good' truth assignments for a random k-satisfiability (k-SAT) formula in polynomial ...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
The contribution is twofold. We first show the validity of the conjecture of D
CORR
2006
Springer
13 years 11 months ago
2006
Springer
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formal...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
CORR
2006
Springer
13 years 11 months ago
2006
Springer
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
A standard approach in pattern classification is to estimate the distributions of the label classes, and then to apply the Bayes classifier to the estimates of the distributions in...