Sciweavers

13784 search results - page 305 / 2757
» On Computing Functions with Uncertainty
Sort
View
AGP
2003
IEEE
15 years 12 months ago
Time Equations for Lazy Functional (Logic) Languages
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
Elvira Albert, Josep Silva, Germán Vidal
CW
2002
IEEE
15 years 11 months ago
Interactive Function-Based Artistic Shape Modeling
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
Konstantin Levinski, Alexei Sourin
CVRMED
1997
Springer
15 years 10 months ago
Image registration: convex weighting functions for histogram-based similarity measures
Recently the entropy-similarity measure has been introduced for the registration of image pairs prior to subtraction in medical imaging e.g. digital subtraction angiography (DSA). ...
Thorsten M. Buzug, Jürgen Weese, Carola Fassn...
DAC
1996
ACM
15 years 10 months ago
Functional Verification Methodology of Chameleon Processor
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
Françoise Casaubieilh, Anthony McIsaac, Mik...
DCC
2010
IEEE
15 years 6 months ago
The small weight codewords of the functional codes associated to non-singular Hermitian varieties
This article studies the small weight codewords of the functional code CHerm(X), with X a non-singular Hermitian variety of PG(N, q2). The main result of this article is that the ...
Frédéric A. B. Edoukou, Anja Hallez,...