Search results for "Data type"

showing 10 items of 1183 documents

Minimal Forbidden Factors of Circular Words

2017

Minimal forbidden factors are a useful tool for investigating properties of words and languages. Two factorial languages are distinct if and only if they have different (antifactorial) sets of minimal forbidden factors. There exist algorithms for computing the minimal forbidden factors of a word, as well as of a regular factorial language. Conversely, Crochemore et al. [IPL, 1998] gave an algorithm that, given the trie recognizing a finite antifactorial language M, computes a DFA of the language having M as set of minimal forbidden factors. In the same paper, they showed that the obtained DFA is minimal if the input trie recognizes the minimal forbidden factors of a single word. We gener…

L-automatonDiscrete mathematicsFactorialFibonacci numberSettore INF/01 - InformaticaComputer Science (all)Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)0102 computer and information sciences02 engineering and technologyCircular wordMinimal forbidden factor01 natural sciencesTheoretical Computer ScienceSet (abstract data type)010201 computation theory & mathematicsIf and only ifTrie0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer Science::Formal Languages and Automata TheoryWord (computer architecture)Mathematics
researchProduct

A Geometric Approach to Automatic Description of Iconic Scenes

2005

It is proposed a step towards the automatic description of scenes with a geometric approach. The scenes considered are composed by a set of elements that can be geometric forms or iconic representation of objects. Every icon is characterized by a set of attributes like shape, colour, position, orientation. Each scene is related to a set of sentences describing its content. The proposed approach builds a data driven vector semantic space where the scenes and the sentences are mapped. Sentences and scene with the same meaning are mapped in near vectors and distance criteria allow retrieving semantic relations.

Latent semantic analysisComputer sciencebusiness.industryOrientation (computer vision)ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONScene statisticsiconic scenes semantic relationshipSemanticsSet (abstract data type)Position (vector)Computer visionArtificial intelligenceRepresentation (mathematics)businessSentenceComputingMethodologies_COMPUTERGRAPHICS
researchProduct

Layout algorithms of graph-like diagrams for GRADE windows graphic editors

1996

We propose a set of layout operations ensuring flexible and convenient interactive editing of communication diagrams and nested entity-relationship models having textual labels on connections. The set includes several procedures for incremental diagram layout. Tools for fully automatic layout and for direct manual painting of graphic primitives are also integrated in a single system. In this way we have filled to some extent the gap between both extremal levels of editing.

Layout algorithmPaintingComputer scienceComputer graphics (images)Fully automaticGraph (abstract data type)Interactive editing
researchProduct

Enabling XCSF to cope with dynamic environments via an adaptive error threshold

2020

The learning classifier system XCSF is a variant of XCS employed for function approximation. Although XCSF is a promising candidate for deployment in autonomous systems, its parameter dependability imposes a significant hurdle, as a-priori parameter optimization is not feasible for complex and changing environmental conditions. One of the most important parameters is the error threshold, which can be interpreted as a target bound on the approximation error and has to be set according to the approximated function. To enable XCSF to reliably approximate functions that change during runtime, we propose the use of an error threshold, which is adapted at run-time based on the currently achieved …

Learning classifier systemComputer scienceError thresholdComputer Science::Neural and Evolutionary Computation0102 computer and information sciences02 engineering and technologyFunction (mathematics)01 natural sciencesSet (abstract data type)Function approximation010201 computation theory & mathematicsApproximation error0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingAlgorithmProceedings of the 2020 Genetic and Evolutionary Computation Conference Companion
researchProduct

Monte Carlo simulation in phylogenies: an application to test the constancy of evolutionary rates.

1994

Monte Carlo simulation has commonly been used in phylogenetic studies to test different tree-reconstruction methods, and consequently, its application for testing evolutionary models can be considered as a natural extension of this usage. Repetitive simulation of a given evolutionary process, under the restrictions imposed by the model to be tested, along a determinate tree topology allow the estimate of probability distributions for the desired parameters. Next, the phylogenetic tree can be reconstructed again without the constraints of the model, and the parameter of interest, derived from this tree, can be compared to the corresponding probability distribution derived from the restricted…

Least-squares methodBiometryMonte Carlo methodCytochrome c GroupBiologySet (abstract data type)Hybrid Monte Carlosymbols.namesakeGeneticsAnimalsHumansComputer SimulationMolecular BiologyEcology Evolution Behavior and SystematicsMonte Carlo simulationPhylogenyPhylogenetic treeModels GeneticMolecular clockEvolutionary ratesMarkov chain Monte CarloTree (data structure)Genetic TechniquesMutationsymbolsProbability distributionCytochrome-cAlgorithmMonte Carlo MethodMonte Carlo molecular modelingParametric bootstrapJournal of molecular evolution
researchProduct

Vertical representation of C∞-words

2015

We present a new framework for dealing with C ∞ -words, based on their left and right frontiers. This allows us to give a compact representation of them, and to describe the set of C ∞ -words through an infinite directed acyclic graph G. This graph is defined by a map acting on the frontiers of C ∞ -words. We show that this map can be defined recursively and with no explicit reference to C ∞ -words. We then show that some important conjectures on C ∞ -words follow from analogous statements on the structure of the graph G.

Left and rightDiscrete mathematicsGeneral Computer ScienceComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)16. Peace & justiceDirected acyclic graphTheoretical Computer ScienceCombinatoricsDirected setRecursive functionsGraph (abstract data type)Null graphComputer Science::Formal Languages and Automata TheoryMathematicsofComputing_DISCRETEMATHEMATICSMathematicsTheoretical Computer Science
researchProduct

Implementations of a novel algorithm for colour constancy

1997

AbstractIn agreement with the principles of the relativistic model proposed by Creutzfeldtet al., with the photometric rule (lightness anchoring rule) and with the influence of simultaneous contrast in the appearance of a visual scene, we propose a first-stage mechanism yielding substantial colour constancy. We have defined a set of first-stage colour descriptors, and to test their utility, we have performed a simulation using a Machine Vision System (MVS). The statistical stability of the descriptors for Munsell samples under different illuminants is good.

LightnessColor visionComputer sciencemedia_common.quotation_subjectModels NeurologicalComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONAdaptation (eye)Colour constancySet (abstract data type)OpticsHumansContrast (vision)media_commonbusiness.industryChromatic adaptationPattern recognitionComputer simulationSensory SystemsMachine vision systemOphthalmologySpectrophotometryPhotometric ruleChromatic adaptationSimultaneous contrastArtificial intelligencebusinessAlgorithmsColor PerceptionVision Research
researchProduct

The minimal cost maximum matching of a graph (supplementary remarks)

1971

In addition to the preceding paper, it will be shown that (1) the matching problem is closely related to the linear assignment problem and how (2) this property can be taken advantage of for solving the matching problem.

Linear bottleneck assignment problemMathematical optimizationProperty (philosophy)Matching (graph theory)General Mathematics3-dimensional matchingGraph (abstract data type)Management Science and Operations ResearchAssignment problemSoftwareGeneralized assignment problemWeapon target assignment problemMathematicsUnternehmensforschung Operations Research - Recherche Opérationnelle
researchProduct

Fast Decentralized Linear Functions via Successive Graph Shift Operators

2019

Decentralized signal processing performs learning tasks on data distributed over a multi-node network which can be represented by a graph. Implementing linear transformations emerges as a key task in a number of applications of decentralized signal processing. Recently, some decentralized methods have been proposed to accomplish that task by leveraging the notion of graph shift operator, which captures the local structure of the graph. However, existing approaches have some drawbacks such as considering special instances of linear transformations, or reducing the family of transformations by assuming that a shift matrix is given such that a subset of its eigenvectors spans the subspace of i…

Linear mapSignal Processing (eess.SP)Optimization problemTransformation (function)Theoretical computer scienceComputer scienceFOS: Electrical engineering electronic engineering information engineeringGraph (abstract data type)Shift matrixElectrical Engineering and Systems Science - Signal ProcessingShift operatorSubspace topologyEigenvalues and eigenvectors
researchProduct

Ideal-valued topological structures

2010

With L a complete lattice and M a continuous lattice, this paper demonstrates an adjunction between M -valued L-topological spaces (i.e. (L,M )-topological spaces) and Idl(M )-valued L-topological spaces where Idl(M ) is the complete lattice of all ideals of M . It is shown that the right adjoint functor provides a procedure of generating (L,M )-topologies from antitone families of (L,M )-topologies. This procedure is then applied to give an internal characterization of joins in the complete lattice of all (L,M )-topologies on a given set.

LogicHigh Energy Physics::LatticeFuzzy setCharacterization (mathematics)AdjunctionTopologySet (abstract data type)CombinatoricsLattice (module)Complete latticeArtificial IntelligenceIdeal (order theory)Adjoint functorsMathematicsFuzzy Sets and Systems
researchProduct