691 search results - page 1 / 139 » Axiomatizing geometric constructions |
101
Voted
JAPLL
2008
15 years 1 months ago
2008
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...
120
Voted
CIE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
108
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
A new way to detect arrows in line drawings is proposed in this paper. Our approach is based on the definition of the structure of such a symbol. Signatures of angular areas are ...
98
Voted
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.
111
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...