5 search results - page 1 / 1 » adg 2000 |
ADG
2000
Springer
13 years 8 months ago
2000
Springer
ADG
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...
ICCBR
2001
Springer
13 years 9 months ago
2001
Springer
In this paper, we present an adaptation-guided similarity metric based on the estimate of the number of actions between states, called ADG (Action Distance-Guided). It is determine...
ADG
2000
Springer
13 years 9 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
ADG
2006
Springer
13 years 11 months ago
2006
Springer
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...