Search results for " algorithm"

showing 10 items of 2538 documents

Complexity of operations on cofinite languages

2010

International audience; We study the worst case complexity of regular operation on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the resulting minimal automata.

Nested wordTheoretical computer scienceSettore INF/01 - Informaticaautomata[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]regular operationReDoSComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciences02 engineering and technologyDescriptive complexity theorystate complexity01 natural sciencesComplement (complexity)Deterministic finite automaton010201 computation theory & mathematicsTheory of computation0202 electrical engineering electronic engineering information engineeringComputer Science::Programming LanguagesQuantum finite automata020201 artificial intelligence & image processingNondeterministic finite automatoncofinite languageMathematics
researchProduct

A New Genetic Approach for the Partitioning Problem in Distributed Virtual Environment Systems

2004

The Partitioning problem is a key issue in the design of Distributed Virtual Environment (DVE) systems based on a server-network architecture. This problem consist of efficiently assigning the clients of the simulation (avatars) to the system servers. Despite the existing literature proposes different evolutive approaches for solving this NP-hard problem, an approach based on genetic algorithms is considered as the current best partitioning mechanism.

Network architectureComputer scienceVirtual machinebusiness.industryServerDistributed computingGenetic algorithmKey (cryptography)Artificial intelligenceVirtual realitycomputer.software_genrebusinesscomputer
researchProduct

Performance Evaluation of CANIT Algorithm in Presence of Congestion Losses

2001

In this paper, we analize by queuing-simulation CANIT (Congestion Avoidance with Normalized Interval of Time) algorithm performances in presence of congestion losses. In a former work [3], we proposed the algorithm (CANIT) for TCP (Transmission Control Protocol) congestion avoidance phase in order to improve fairness during this phase, and we showed that using CANIT algorithm in an environment without loss, instead of standard congestion avoidance algorithm improves both congestion avoidance fairness and bandwith utilization for long RTT connections. In this paper, we consider congestion losses and show that the fairness as well as the bandwith utilization are more efficient when using CANI…

Network congestionTraffic congestionComputer scienceTransmission Control ProtocolComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSFairness measureTCP tuningCongestion windowRound-trip delay timeInterval (mathematics)H-TCPTCP congestion-avoidance algorithmAlgorithm
researchProduct

A “Noise Gene” for Econets

1993

Genetically controlled noise is applied to the weights of neural networks trained with a genetic algorithm. Networks simulate simple organisms living in an environment Reproduction is based on the ability of each network, during its life, to respond to sensory information from the environment with appropriate motor action. Each network has an amount of noise which is genetically inherited (in the ‘noise gene’) with mutations and it varies interindividually. Noise modifies the value of a weight differently for each spreading of the activation through the network. Such noise has a positive effect on the evolutionary increase in fitness and it makes fitness less dependent on the initial choice…

NoiseArtificial neural networkComputer scienceGenetic algorithmProcess (computing)Motor actionBiological systemRandom populationGene
researchProduct

An adaptive prudent-daring evolutionary algorithm for noise handling in on-line PMSM drive design

2007

This paper studies the problem of the optimal control design of permanent magnet synchronous motor (PMSM) drives taking into account the noise due to sensors and measurement devices. The problem is analyzed by means of an experimental approach which considers noisy data returned by the real plant (on-line). In other words, each fitness evaluation does not come from a computer but from a real laboratory experiment. In order to perform the optimization notwithstanding presence of the noise, this paper proposes an Adaptive Prudent- Daring Evolutionary Algorithm (APDEA). The APDEA is an evolutionary algorithm with a dynamic parameter setting. Furthermore, the APDEA employs a dynamic penalty ter…

NoiseControl theoryComputer scienceEvolutionary algorithmOptimal controlEvolutionary computationSelection (genetic algorithm)2007 IEEE Congress on Evolutionary Computation
researchProduct

Robust adaptive algorithm with low computational cost

2006

An adaptive algorithm, which is robust to impulsive noise, is proposed. The cost function underlying this algorithm contains a parameter that controls the immunity to impulsive noise and can be easily adapted. Moreover, weight updating involves a nonlinear function, which recently has been shown to have an efficient hardware implementation. The proposed adaptive algorithm has been successfully tested in terms of accuracy and convergence on a system-identification simulation.

NoiseSignal processingComputational complexity theoryRate of convergenceAdaptive algorithmControl theoryConvergence (routing)System identificationFunction (mathematics)Electrical and Electronic EngineeringAlgorithmMathematicsElectronics Letters
researchProduct

Quantification of melanin and hemoglobin in humain skin from multispectral image acquisition: use of a neuronal network combined to a non-negative ma…

2012

International audience; This article presents a multispectral imaging system which, coupled with a neural network-based algorithm, reconstructs reflectance cubes. The reflectance spectra are obtained using artificial neural-netwok reconstruction which generates reflectance cubes from acquired multispectral images. Then, a blind source separation algorithm based on Non-negative Matrix Factorization is used for the decomposition of human skin absorption spectra in its main pigments: melanin and hemoglobin. The analysis is performed on reflectance spectra. The implemented source separation algorithm is based on a multiplicative coefficient upload. The goal is to represent a given spectrum as t…

Non-Negative Matrix FactorizationBlind Source Separation Algorithms[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image Processing[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingMulti/Hyper-Spectral ImagingNeural Networks[INFO.INFO-TS] Computer Science [cs]/Signal and Image ProcessingHuman Skin Absorbance Spectrum[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processingReflectance Cube Reconstruction[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processingHuman Skin Absorbance Spectrum.
researchProduct

Discrete wavelet transform implementation in Fourier domain for multidimensional signal

2002

Wavelet transforms are often calculated by using the Mallat algorithm. In this algorithm, a signal is decomposed by a cascade of filtering and downsampling operations. Computing time can be important but the filtering operations can be speeded up by using fast Fourier transform (FFT)-based convolutions. Since it is necessary to work in the Fourier domain when large filters are used, we present some results of Fourier-based optimization of the sampling operations. Acceleration can be obtained by expressing the samplings in the Fourier domain. The general equations of the down- and upsampling of digital multidimensional signals are given. It is shown that for special cases such as the separab…

Non-uniform discrete Fourier transformDiscrete-time Fourier transformMathematical analysisPrime-factor FFT algorithm020206 networking & telecommunications02 engineering and technologyAtomic and Molecular Physics and OpticsFractional Fourier transformDiscrete Fourier transformComputer Science ApplicationsMultidimensional signal processingDiscrete Fourier series0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingElectrical and Electronic EngineeringHarmonic wavelet transformAlgorithm[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Real-Time Vector Automata

2013

We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected k×k matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.

Nondeterministic algorithmDiscrete mathematicsMatrix (mathematics)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFinite-state machineDimension (vector space)Computer scienceMultiplicationNonlinear Sciences::Cellular Automata and Lattice GasesComputer Science::Formal Languages and Automata TheoryAutomatonPower (physics)
researchProduct

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations

2009

We show that every finitely satisfiable two-variable first-order formula with two equivalence relations has a model of size at most triply exponential with respect to its length. Thus the finite satisfiability problem for two-variable logic over the class of structures with two equivalence relations is decidable in nondeterministic triply exponential time. We also show that replacing one of the equivalence relations in the considered class of structures by a relation which is only required to be transitive leads to undecidability. This sharpens the earlier result that two-variable logic is undecidable over the class of structures with two transitive relations.

Nondeterministic algorithmDiscrete mathematicsTransitive relationLogical equivalenceComputer Science::Logic in Computer SciencePreorderEquivalence relationSatisfiabilityDecidabilityMathematicsFirst-order logic2009 24th Annual IEEE Symposium on Logic In Computer Science
researchProduct