2255 search results - page 327 / 451 » Computing a Center-Transversal Line |
95
Voted
LICS
1994
IEEE
15 years 4 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 ...
94
Voted
IMAMS
2007
15 years 2 months 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 ...
86
Voted
ICAD
2004
15 years 2 months 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...
83
Voted
GAMEON
2001
15 years 2 months 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...
122
Voted
WAE
2001
15 years 2 months 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...