455 search results - page 10 / 91 » Structure Theorems for Systems of Segments |
CIE
2007
Springer
14 years 3 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
STOC
1990
ACM
14 years 27 days ago
1990
ACM
ions (Extended Abstract) Noga Alon Paul Seymour Robin Thomas Let G be an n-vertex graph with nonnegative weights whose sum is 1 assigned to its vertices, and with no minor isomorp...
CIARP
2008
Springer
13 years 11 months ago
2008
Springer
We present a method for on-line mathematical formulae recognition based on the structural construction paradigm and twodimensional grammars. In general, this approach can be succes...
TYPES
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
IBPRIA
2003
Springer
14 years 2 months ago
2003
Springer
This paper describes the implementation details of a coded structured light system useful for one-shot measurements of a surface. Since a unique pattern is projected, the technique...