Sciweavers

1819 search results - page 204 / 364
» Computability and Representations of the Zero Set
Sort
View
GG
2004
Springer
15 years 12 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
CVPR
2003
IEEE
15 years 12 months ago
Deformable Pedal Curves with Application to Face Contour Extraction
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
Fuzhen Huang, Jianbo Su
IWCIA
2009
Springer
15 years 11 months ago
What Does Digital Straightness Tell about Digital Convexity?
Abstract. The paper studies local convexity properties of parts of digital boundaries. An online and linear-time algorithm is introduced for the decomposition of a digital boundary...
Tristan Roussillon, Laure Tougne, Isabelle Sivigno...
BIRTHDAY
2000
Springer
15 years 11 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...
ICRA
1998
IEEE
100views Robotics» more  ICRA 1998»
15 years 10 months ago
Two Methods for Interpolating Rigid Body Motions
This paper investigates methods for computing a smooth motion that interpolates a given set of positions and orientations of a rigid body. To make the interpolation independent of...
Milos Zefran, Vijay Kumar