1469 search results - page 120 / 294 » Discretization of a Continuous Curve |
124
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
145
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
141
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
136
click to vote
COMPGEOM
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we describe and analyze a method based on local least square fitting for estimating the normals at all sample points of a point cloud data (PCD) set, in the presenc...
126
click to vote
JMIV
2007
15 years 4 months ago
2007
Image and geometry processing applications estimate the local geometry of objects using information localized at points. They usually consider information about the tangents as a s...