4926 search results - page 645 / 986 » Two Graph Algorithms On an Associative Computing Model |
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
ICVS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
FOCM
2011
13 years 3 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
ISAAC
2004
Springer
14 years 1 months ago
2004
Springer
For c ∈ R, a c-spanner is a subgraph of a complete Euclidean graph satisfying that between any two vertices there exists a path of weighted length at most c times their geometric...
ISVC
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses the issue of multi-aspect target tracking where target’s aspect is modeled by a continuous-valued affine model. The affine parameters are assumed to follow ...