CORR
2000
Springer
13 years 7 months ago
2000
Springer
Define a "slice" curve as the intersection of a plane with the surface of a polytope, i.e., a convex polyhedron in three dimensions. We prove that a slice curve develops...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
CORR
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. The problem of finding a center string that is "close" to every given string arises in computational molecular biology and coding theory. This problem has two v...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
We show that, in John Conway's board game Phutball (or Philosopher's Football), it is NP-complete to determine whether the current player has a move that immediately wins...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
CORR
2000
Springer
13 years 7 months ago
2000
Springer
CORR
2000
Springer
13 years 7 months ago
2000
Springer
CORR
2000
Springer
13 years 7 months ago
2000
Springer
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
CORR
2000
Springer
13 years 7 months ago
2000
Springer