2509 search results - page 25 / 502 » Abstract Geometrical Computation and Computable Analysis |
83
Voted
CIE
2005
Springer
15 years 6 months 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...
88
Voted
CARS
2004
15 years 2 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...
118
Voted
ISSAC
1998
Springer
15 years 4 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...
112
Voted
ACCV
2007
Springer
15 years 6 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...
95
Voted
SAC
2006
ACM
15 years 6 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...