2255 search results - page 327 / 451 » Computing a Center-Transversal Line |
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
IMAMS
2007
15 years 18 days ago
2007
This paper considers error propagation in three dimensional geometric constructions using a geometric approach. First, we present definitions and constructions of tolerance zones ...
ICAD
2004
15 years 16 days ago
2004
Point estimation is a relatively unexplored facet of sonfication. We present a new computer application, the Audio Abacus, designed to transform numbers into tones following the a...
GAMEON
2001
15 years 16 days ago
2001
In this paper, a three-component architecture of a learning environment for Go is sketched, which can be applied to any two-player, deterministic, full information, partizan, comb...
105
click to vote
WAE
2001
15 years 16 days ago
2001
Geometric algorithms are based on geometric objects such as points, lines and circles. The term Kernel refers to a collection of representations for constant-size geometric objects...