131
click to vote
DAM
1999
15 years 7 days ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
ML
2000
ACM
15 years 10 days ago
2000
ACM
Capacity control in perceptron decision trees is typically performed by controlling their size. We prove that other quantities can be as relevant to reduce their flexibility and co...
ECCC
2002
15 years 11 days ago
2002
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...
COMBINATORICS
2000
15 years 11 days ago
2000
Bound polysemy is the property of any pair (G1, G2) of graphs on a shared vertex set V for which there exists a partial order on V such that any pair of vertices has an upper boun...
101
Voted
CORR
2004
Springer
15 years 12 days ago
2004
Springer
In this paper, we analyze the performance of space-time block codes which enable symbolwise maximum likelihood decoding. We derive an upper bound of maximum mutual information (MM...
85
Voted
LMCS
2007
15 years 13 days ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
70
Voted
TSP
2008
15 years 13 days ago
2008
Abstract--This paper reports an upper bound for the Kullback
80
Voted
TCS
2008
15 years 14 days ago
2008
This paper presents strategies for improving the known upper and lower bounds for the bandwidth of Hamming graphs (Kn)d and [0, 1]d. Our labeling strategy lowers the upper bound o...
APIN
2005
15 years 14 days ago
2005
In this paper, we discuss the degeneration of relevance of uncertain temporal information and propose an analytical upper bound for the relevance time of information in a restrict...
73
Voted
APAL
2005
15 years 14 days ago
2005
Pudl