38 search results - page 6 / 8 » Computational Complexity of Generators and Nongenerators in ... |
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
SIGGRAPH
2003
ACM
14 years 22 days ago
2003
ACM
This paper introduces a tensor framework for image-based rendering. In particular, we develop an algorithm called TensorTextures that learns a parsimonious model of the bidirectio...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Well designed domain specific languages enable the easy expression of problems, the application of domain specific optimizations, and dramatic improvements in productivity for t...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
The necessary and sufficient conditions for being able to estimate scene structure, motion and camera calibration from a sequence of images are very rarely satisfied in practice. ...
AML
1999
13 years 7 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...