17 search results - page 4 / 4 » Quotients over Minimal Type Theory |
GECCO
2009
Springer
13 years 12 months ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...
TVCG
2010
13 years 3 months ago
2010
—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...