Sciweavers

4716 search results - page 149 / 944
» Tangible functional programming
Sort
View
VMV
2000
169views Visualization» more  VMV 2000»
13 years 11 months ago
Automatic Adjustment of Transfer Functions for 3D Volume Visualization
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
Christof Rezk-Salama, Peter Hastreiter, Jörg ...
CORR
2008
Springer
85views Education» more  CORR 2008»
13 years 10 months ago
Ranking and Unranking of Hereditarily Finite Functions and Permutations
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. ranki...
Paul Tarau
SIAMJO
2008
212views more  SIAMJO 2008»
13 years 10 months ago
Convergence Rate of an Optimization Algorithm for Minimizing Quadratic Functions with Separable Convex Constraints
A new active set algorithm for minimizing quadratic functions with separable convex constraints is proposed by combining the conjugate gradient method with the projected gradient. ...
Radek Kucera
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
13 years 10 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
IJISEC
2010
121views more  IJISEC 2010»
13 years 8 months ago
Flowchart description of security primitives for controlled physical unclonable functions
Physical Unclonable Functions (PUFs) are physical objects that are unique, practically unclonable and that behave like a random function when subjected to a challenge. Their use h...
Boris Skoric, Marc X. Makkes