Sciweavers

4581 search results - page 320 / 917
» Computing Transformation Semigroups
Sort
View
FPCA
1995
15 years 10 months ago
Constructing Functional Programs for Grammar Analysis Problems
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
Johan Jeuring, S. Doaitse Swierstra
DPHOTO
2010
287views Hardware» more  DPHOTO 2010»
15 years 8 months ago
Dead leaves model for measuring texture quality on a digital camera
We describe the procedure to evaluate the image quality of a camera in terms of texture preservation. We use a stochastic model coming from stochastic geometry, and known as the d...
Frédéric Cao, Frederic Guichard, Her...
GG
2010
Springer
15 years 7 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...
TOG
2002
125views more  TOG 2002»
15 years 6 months ago
Perspective shadow maps
Shadow maps are probably the most widely used means for the generation of shadows, despite their well known aliasing problems. In this paper we introduce perspective shadow maps, ...
Marc Stamminger, George Drettakis
MVA
2007
285views Computer Vision» more  MVA 2007»
15 years 6 months ago
Contour Retrieval and Matching by Affine Invariant Fourier Descriptors
In the image plane, a 3 Dimensional movement of planar rigid object can be represented satisfactory by an affine motion of his boundary (the exterior contour) which we assume to b...
Fatma Chaker, M. Tarak Bannour, Faouzi Ghorbel