2509 search results - page 25 / 502 » Abstract Geometrical Computation and Computable Analysis |
CIE
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
CARS
2004
13 years 8 months ago
2004
Abstract. We want to demonstrate a retrospective analysis of the patient group who received conebeam computed tomography (CBCT) imaging in our department focussing on indications e...
ISSAC
1998
Springer
13 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a new application of computer vision: continuous measurement of the geometrical visibility range on inter-urban roads, solely based on a monocular image acquis...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
We propose a geometric constraint solving method based on connectivity analysis in graph theory, which can be used to decompose a well-constrained problem into some smaller ones i...