1670 search results - page 96 / 334 » On Skolemization in constructive theories |
171
click to vote
COMPGEOM
2001
ACM
15 years 10 months ago
2001
ACM
We present algorithms for constructing a hierarchy of increasingly coarse Morse complexes that decompose a piecewise linear 2-manifold. While Morse complexes are defined only in t...
132
click to vote
IJCAI
1989
15 years 7 months ago
1989
In this paper, we present QUALEX, a system and algorithm for generating first-order qualitative causal graphs for tutorial purposes based on de Kleer and Brown's qualitative ...
154
click to vote
ACTA
2007
15 years 6 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We describe a new construction of an incoherent dictionary, referred to as the oscillator dictionary, which is based on considerations in the representation theory of finite groups...
169
click to vote
AAECC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. For any integral convex polytope in R2 there is an explicit construction of an error-correcting code of length (q - 1)2 over the finite field Fq, obtained by evaluation o...