2509 search results - page 83 / 502 » Abstract Geometrical Computation and Computable Analysis |
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
88
Voted
IMR
2004
Springer
15 years 6 months ago
2004
Springer
In the finite element analysis that deals with large deformation, the process usually produces distorted elements at the later stages of the analysis. These distorted elements lea...
KI
2004
Springer
15 years 6 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
103
Voted
COMPGEOM
1997
ACM
15 years 4 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
112
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...