2333 search results - page 101 / 467 » Recursive Computational Depth |
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
Given a projective reconstruction of a 3D scene, we address the problem of recovering the Euclidean structure of the scene in a recursive way. This leads to the application of Kal...
ISPD
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we summarize circuit placement techniques and algorithms developed by the BLAC CAD research group; these have been integrated into our recursive bisection based pla...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...