Sciweavers

3972 search results - page 6 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
ICPR
2006
IEEE
15 years 10 months ago
Analysis of Ramp Discontinuity Model for Multiscale Image Segmentation
This paper presents an algorithm for multiscale image segmentation. Towards this, it proposes a new region model, that of a homogenous region surrounded by ramp discontinuities (a...
Himanshu Arora, Narendra Ahuja
GECCO
2003
Springer
118views Optimization» more  GECCO 2003»
15 years 2 months ago
Distributed Probabilistic Model-Building Genetic Algorithm
In this paper, a new model of Probabilistic Model-Building Genetic Algorithms (PMBGAs), Distributed PMBGA (DPMBGA), is proposed. In the DPMBGA, the correlation among the design var...
Tomoyuki Hiroyasu, Mitsunori Miki, Masaki Sano, Hi...
88
Voted
JMIV
2010
78views more  JMIV 2010»
14 years 7 months ago
Mathematical Modeling of Textures: Application to Color Image Decomposition with a Projected Gradient Algorithm
: In this paper, we are interested in texture modeling with functional analysis spaces. We focus on the case of color image processing, and in particular color image decomposition....
Vincent Duval, Jean-François Aujol, Luminit...
GECCO
2005
Springer
101views Optimization» more  GECCO 2005»
15 years 2 months ago
A scalable parallel genetic algorithm for x-ray spectroscopic analysis
We use a parallel multi-objective genetic algorithm to drive a search and reconstruction spectroscopic analysis of plasma gradients in inertial confinement fusion (ICF) implosion...
Kai Xu, Sushil J. Louis, Roberto C. Mancini
133
Voted
CHARME
2005
Springer
176views Hardware» more  CHARME 2005»
15 years 2 months ago
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...