Sciweavers

5510 search results - page 393 / 1102
» Mathematics
Sort
View
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
16 years 2 days ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
GECCO
2003
Springer
119views Optimization» more  GECCO 2003»
16 years 2 days ago
Schema Analysis of Average Fitness in Multiplicative Landscape
By applying the schema theorem, we study the effects of crossover in Genetic Algorithms with the multiplicative fitness function. On this landscape, the analytical expression of ...
Hiroshi Furutani
IBPRIA
2003
Springer
16 years 1 days ago
Segmentation of Curvilinear Objects Using a~Watershed-Based Curve Adjacency Graph
Abstract. This paper presents a general framework to segment curvilinear objects in 2D images. A pre-processing step relies on mathematical morphology to obtain a connected line wh...
Thierry Géraud
IBPRIA
2003
Springer
16 years 1 days ago
Bayesian Image Estimation from an Incomplete Set of Blurred, Undersampled Low Resolution Images
Abstract. This paper deals with the problem of reconstructing a highresolution image from an incomplete set of undersampled, blurred and noisy images shifted with subpixel displace...
Javier Mateos, Miguel Vega, Rafael Molina, Aggelos...
ICARIS
2003
Springer
16 years 1 days ago
Signal Processing by an Immune Type Tree Transform
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
Nikolaos D. Atreas, Costas G. Karanikas, Alexander...