Search results for "artificial intelligence"

showing 10 items of 6122 documents

Kolmogorov superposition theorem for image compression

2012

International audience; The authors present a novel approach for image compression based on an unconventional representation of images. The proposed approach is different from most of the existing techniques in the literature because the compression is not directly performed on the image pixels, but is rather applied to an equivalent monovariate representation of the wavelet-transformed image. More precisely, the authors have considered an adaptation of Kolmogorov superposition theorem proposed by Igelnik and known as the Kolmogorov spline network (KSN), in which the image is approximated by sums and compositions of specific monovariate functions. Using this representation, the authors trad…

Theoretical computer scienceImage compressionComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION02 engineering and technologySuperposition theoremE.4. CODING AND INFORMATION THEORY01 natural sciencesWavelet[ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineering0101 mathematicsElectrical and Electronic EngineeringMathematicsPixel010102 general mathematicsWavelet transformcomputer.file_formatSpline (mathematics)[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Signal ProcessingJPEG 2000Kolmogorov superposition theorem020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionAlgorithmcomputerSoftwareData compressionImage compression
researchProduct

Incorporating hypothetical knowledge into the process of inductive synthesis

1996

The problem of inductive inference of functions from hypothetical knowledge is investigated in this paper. This type of inductive inference could be regarded as a generalization of synthesis from examples that can be directed not only by input/output examples but also by knowledge of, e. g., functional description's syntactic structure or assumptions about the process of function evaluation. We show that synthesis of this kind is possible by efficiently enumerating the hypothesis space and illustrate it with several examples.

Theoretical computer scienceInductive biasGeneralizationComputer scienceProcess (engineering)business.industrymedia_common.quotation_subjectSpace (commercial competition)Type (model theory)Inductive reasoningMachine learningcomputer.software_genreFunctional descriptionArtificial intelligenceFunction (engineering)businesscomputermedia_common
researchProduct

Geometric and conceptual knowledge representation within a generative model of visual perception

1989

A representation scheme of knowledge at both the geometric and conceptual levels is offered which extends a generative theory of visual perception. According to this theory, the perception process proceeds through different scene representations at various levels of abstraction. The geometric domain is modeled following the CSG (constructive solid geometry) approach, taking advantage of the geometric modelling scheme proposed by A. Pentland, based on superquadrics as representation primitives. Recursive Boolean combinations and deformations are considered in order to enlarge the scope of the representation scheme and to allow for the construction of real-world scenes. In the conceptual doma…

Theoretical computer scienceKnowledge representation and reasoningbusiness.industryMechanical Engineeringmedia_common.quotation_subjectMachine learningcomputer.software_genreIndustrial and Manufacturing EngineeringConstructive solid geometryGenerative modelGeometric designArtificial IntelligenceControl and Systems EngineeringSuperquadricsConceptual modelFrame (artificial intelligence)Artificial intelligenceElectrical and Electronic EngineeringRepresentation (mathematics)businesscomputerSoftwaremedia_commonMathematicsJournal of Intelligent and Robotic Systems
researchProduct

Combining finite learning automata with GSAT for the satisfiability problem

2010

A large number of problems that occur in knowledge-representation, learning, very large scale integration technology (VLSI-design), and other areas of artificial intelligence, are essentially satisfiability problems. The satisfiability problem refers to the task of finding a satisfying assignment that makes a Boolean expression evaluate to True. The growing need for more efficient and scalable algorithms has led to the development of a large number of SAT solvers. This paper reports the first approach that combines finite learning automata with the greedy satisfiability algorithm (GSAT). In brief, we introduce a new algorithm that integrates finite learning automata and traditional GSAT use…

Theoretical computer scienceLearning automataComputer scienceRandom walkSatisfiabilitySet (abstract data type)Artificial IntelligenceControl and Systems EngineeringMaximum satisfiability problemBenchmark (computing)Combinatorial optimizationBoolean expressionElectrical and Electronic EngineeringBoolean satisfiability problemAlgorithmEngineering Applications of Artificial Intelligence
researchProduct

Optimizing channel selection for cognitive radio networks using a distributed Bayesian learning automata-based approach

2015

Consider a multi-channel Cognitive Radio Network (CRN) with multiple Primary Users (PUs), and multiple Secondary Users (SUs) competing for access to the channels. In this scenario, it is essential for SUs to avoid collision among one another while maintaining efficient usage of the available transmission opportunities. We investigate two channel access schemes. In the first model, an SU selects a channel and sends a packet directly without Carrier Sensing (CS) whenever the PU is absent on this channel. In the second model, an SU invokes CS in order to avoid collision among co-channel SUs. For each model, we analyze the channel selection problem and prove that it is a so-called "Exact Potent…

Theoretical computer scienceLearning automataComputer sciencebusiness.industryNetwork packet020206 networking & telecommunications02 engineering and technologyBayesian inferenceAutomatonsymbols.namesakeCognitive radioTransmission (telecommunications)Artificial IntelligenceNash equilibrium0202 electrical engineering electronic engineering information engineeringsymbols020201 artificial intelligence & image processingArtificial intelligencebusinessCommunication channelApplied Intelligence
researchProduct

Learning multiresolution schemes for compression of images

2007

We introduce a new type of multiresolution based on the Harten's framework using learning theory. This changes the point of view of the classical multiresolution analysis and it transforms an approximation problem in a learning problem opening great possibilities. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Theoretical computer scienceLearning problemComputer sciencebusiness.industryMultiresolution analysisCompression (functional analysis)Learning theoryPoint (geometry)Artificial intelligenceType (model theory)businessPAMM
researchProduct

On t-Conorm Based Fuzzy (Pseudo)metrics

2020

We present an alternative approach to the concept of a fuzzy (pseudo)metric using t-conorms instead of t-norms and call them t-conorm based fuzzy (pseudo)metrics or just CB-fuzzy (pseudo)metrics. We develop the basics of the theory of CB-fuzzy (pseudo)metrics and compare them with “classic” fuzzy (pseudo)metrics. A method for construction CB-fuzzy (pseudo)metrics from ordinary metrics is elaborated and topology induced by CB-fuzzy (pseudo)metrics is studied. We establish interrelations between CB-fuzzy metrics and modulars, and in the process of this study, a particular role of Hamacher t-(co)norm in the theory of (CB)-fuzzy metrics is revealed. Finally, an intuitionistic version of a CB-fu…

Theoretical computer scienceLogicComputer scienceMathematics::General MathematicsCB-fuzzy (pseudo)metric02 engineering and technology01 natural sciencesFuzzy logic0202 electrical engineering electronic engineering information engineeringCB-fuzzy (pseudo)metric; archimedian t-(co)norms; hamacher t-(co)norm; modular; modular metric; intuinionistic fuzzy metricsmodular0101 mathematicsMathematical PhysicsAlgebra and Number Theoryintuinionistic fuzzy metricslcsh:Mathematicslcsh:QA1-939010101 applied mathematicsNorm (mathematics)hamacher t-(co)normmodular metric020201 artificial intelligence & image processingGeometry and TopologyComputingMethodologies_GENERALarchimedian t-(co)normsAnalysisAxioms
researchProduct

Gradation of Fuzzy Preconcept Lattices

2021

Noticing certain limitations of concept lattices in the fuzzy context, especially in view of their practical applications, in this paper, we propose a more general approach based on what we call graded fuzzy preconcept lattices. We believe that this approach is more adequate for dealing with fuzzy information then the one based on fuzzy concept lattices. We consider two possible gradation methods of fuzzy preconcept lattice—an inner one, called D-gradation and an outer one, called M-gradation, study their properties, and illustrate by a series of examples, in particular, of practical nature.

Theoretical computer scienceLogicComputer scienceMathematics::General Mathematicsfuzzy context; fuzzy preconcept; fuzzy preconcept lattice; fuzzy concept; fuzzy concept lattice; graded fuzzy preconcept lattice0206 medical engineeringfuzzy preconceptContext (language use)02 engineering and technologyFuzzy logic0202 electrical engineering electronic engineering information engineeringFuzzy conceptMathematical Physicsfuzzy preconcept latticeAlgebra and Number TheorySeries (mathematics)lcsh:Mathematicsfuzzy contextfuzzy conceptfuzzy concept latticelcsh:QA1-939graded fuzzy preconcept latticeComputer Science::Programming Languages020201 artificial intelligence & image processingGradationGeometry and Topology020602 bioinformaticsAnalysisAxioms; Volume 10; Issue 1; Pages: 41
researchProduct

Symmetry as an Intrinsically Dynamic Feature

2010

Symmetry is one of the most prominent spatial relations perceived by humans, and has a relevant role in attentive mechanisms regarding both visual and auditory systems. The aim of this paper is to establish symmetry, among the likes of motion, depth or range, as a dynamic feature in artificial vision. This is achieved in the first instance by assessing symmetry estimation by means of algorithms, putting emphasis on erosion and multi- resolution approaches, and confronting two ensuing problems: the isolation of objects from the context, and the pertinence (or lack thereof) of some salient points, such as the centre of mass. Next a geometric model is illustrated and detailed, and the problem …

Theoretical computer sciencePhysics and Astronomy (miscellaneous)business.industrylcsh:MathematicsGeneral MathematicsContext (language use)lcsh:QA1-939artificial visionSpatial relationKernel (image processing)Chemistry (miscellaneous)Feature (computer vision)SalientComputer Science (miscellaneous)featuresfeatureComputer visionArtificial intelligenceSymmetry (geometry)Image warpingGeometric modelingbusinesssymmetryMathematicsSymmetry
researchProduct

Diffusive neural network

2002

Abstract A non-connectionist model of a neuronal network based on passive diffusion of neurotransmitters is presented as an alternative to hard-wired artificial neural networks. Classic thermodynamical approach shows that the diffusive network is capable of exhibiting asymptotic stability and a dynamics resembling that of a chaotic system. Basic computational capabilities of the net are discussed based on the equivalence with a Turing machine. The model offers a way to represent mass-sustained brain functions in terms of recurrent behaviors in the phase space.

Theoretical computer scienceQuantitative Biology::Neurons and CognitionArtificial neural networkComputer scienceCognitive NeuroscienceChaoticTopologyComputer Science ApplicationsTuring machinesymbols.namesakeRecurrent neural networkExponential stabilityArtificial IntelligencePhase spacesymbolsBiological neural networkStochastic neural networkNeurocomputing
researchProduct