Sciweavers

4581 search results - page 281 / 917
» Computing Transformation Semigroups
Sort
View
ENTCS
2002
148views more  ENTCS 2002»
15 years 6 months ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo
CVPR
2006
IEEE
16 years 8 months ago
Affine Invariance Revisited
This paper proposes a Riemannian geometric framework to compute averages and distributions of point configurations so that different configurations up to affine transformations ar...
Evgeni Begelfor, Michael Werman
ICIP
2004
IEEE
16 years 8 months ago
Efficient and reliable dynamic quality control for compression of compound document images
Compound images contain a mixture of natural images, text, and graphics. They need special care in the use of compression because text and graphics cannot withstand the significan...
Amir Said
EDOC
2007
IEEE
16 years 1 months ago
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
Peter F. Linington, Pulitha Liyanagama
IV
2006
IEEE
210views Visualization» more  IV 2006»
16 years 20 days ago
FFT and Convolution Performance in Image Filtering on GPU
Many contemporary visualization tools comprise some image filtering approach. Since image filtering approaches are very computationally demanding, the acceleration using graphic...
Ondirej Fialka, Martin Cadík