Sciweavers

13784 search results - page 395 / 2757
» On Computing Functions with Uncertainty
Sort
View
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
16 years 8 days ago
EA models and population fixed-points versus mutation rates for functions of unitation
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation...
J. Neal Richter, John Paxton, Alden H. Wright
168
Voted
ICIP
2003
IEEE
16 years 1 days ago
Perceptual regularization functionals for natural image restoration
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....
Juan Gutierrez, Jesus Malo, Francesc J. Ferri
MM
2003
ACM
79views Multimedia» more  MM 2003»
16 years 53 min ago
Hierarchical topical segmentation in instructional films based on cinematic expressive functions
In this paper, we propose a novel solution for segmenting an instructional video into hierarchical topical sections. Incorporating the knowledge of education-oriented film theory...
Dinh Q. Phung, Svetha Venkatesh, Chitra Dorai
WOLLIC
2010
Springer
15 years 11 months ago
Feasible Functions over Co-inductive Data
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
Ramyaa Ramyaa, Daniel Leivant
ENTCS
2007
112views more  ENTCS 2007»
15 years 6 months ago
Structure and Properties of Traces for Functional Programs
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
Olaf Chitil, Yong Luo