2081 search results - page 283 / 417 » L-systems in Geometric Modeling |
153
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
127
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
This paper addresses the problem of numerically finding an optimal path for a robot with non-holonomic constraints. A car like robot, whose turning radius is lower bounded is cons...
146
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
118
click to vote
ACCV
2007
Springer
15 years 8 months ago
2007
Springer
The paper proposes a novel approach for classification of sports images based on the geometric information encoded in the image of a sport's field. The proposed approach uses ...
145
click to vote
COMPGEOM
2007
ACM
15 years 8 months ago
2007
ACM
We illustrate a simple algorithm for approximating the medial axis of a 2D shape with smooth boundary from a sample of this boundary. The algorithm is compared to a more general a...