Sciweavers

3328 search results - page 396 / 666
» On Plateaued Functions and Their Constructions
Sort
View
TIP
2008
103views more  TIP 2008»
15 years 6 months ago
Change Detection in Multisensor SAR Images Using Bivariate Gamma Distributions
Abstract--This paper studies a family of distributions constructed from multivariate gamma distributions to model the statistical properties of multisensor synthetic aperture radar...
Florent Chatelain, Jean-Yves Tourneret, Jordi Ingl...
JAR
2007
123views more  JAR 2007»
15 years 6 months ago
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
Alberto Ciaffaglione, Luigi Liquori, Marino Micula...
JDA
2007
73views more  JDA 2007»
15 years 6 months ago
Parameterized matching with mismatches
The problem of approximate parameterized string searching consists of finding, for a given text t = t1t2 ...tn and pattern p = p1p2 ...pm over respective alphabets Σt and Σp, t...
Alberto Apostolico, Péter L. Erdös, Mo...
AAECC
2004
Springer
83views Algorithms» more  AAECC 2004»
15 years 6 months ago
Bounding the Trellis State Complexity of Algebraic Geometric Codes
Abstract. Let C be an algebraic geometric code of dimension k and length n constructed on a curve X over Fq. Let s(C) be the state complexity of C and set w(C) := min{k, n-k}, the ...
Carlos Munuera, Fernando Torres
JUCS
2007
107views more  JUCS 2007»
15 years 6 months ago
Genetic Algorithm Based Recurrent Fuzzy Neural Network Modeling of Chemical Processes
: A genetic algorithm (GA) based recurrent fuzzy neural network modeling method for dynamic nonlinear chemical process is presented. The dynamic recurrent fuzzy neural network (RFN...
Jili Tao, Ning Wang, Xuejun Wang