691 search results - page 9 / 139 » Axiomatizing geometric constructions |
APAL
1999
15 years 1 days ago
1999
We describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of m...
77
Voted
JFP
2006
15 years 10 days ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
69
Voted
MSS
2008
IEEE
15 years 9 days ago
2008
IEEE
The problem of deriving weights from pairwise comparison matrices has been treated extensively in the literature. Most of the results are devoted to the case when the matrix under...
93
Voted
DM
2008
15 years 13 days ago
2008
We give new examples of graphs with the n-e.c. adjacency property. Few explicit families of n-e.c. graphs are known, despite the fact that almost all finite graphs are n-e.c. Our ...
96
Voted
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper deals with the construction of a non parametric multiscale analysis from a 1D parametric decomposition of shapes where the elements of the decomposition are geometric p...