1670 search results - page 100 / 334 » On Skolemization in constructive theories |
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
154
click to vote
DM
2010
15 years 6 months ago
2010
Using a generalisation of Hamiltonian cycles to uniform hypergraphs due to Katona and Kierstead, we define a new notion of a Hamiltonian decomposition of a uniform hypergraph. We ...
153
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...
157
click to vote
IJCV
2008
15 years 6 months ago
2008
In this paper, we study a perceptual scale space by constructing a so-called sketch pyramid which augments the Gaussian and Laplacian pyramid representations in traditional image ...
137
click to vote
EJC
2007
15 years 6 months ago
2007
We develop a theory of representations in Rm for directed strongly regular graphs, which gives a new proof of a nonexistence condition of Jørgensen [8]. We also describe some new...