Search results for "intelligence"

showing 10 items of 6959 documents

A Logic of Discovery

1998

A logic of discovery is introduced. In this logic, true sentences are discovered over time based on arriving data. A notion of expectation is introduced to reflect the growing certainty that a universally quantified sentence is true as more true instances are observed. The logic is shown to be consistent and complete. Monadic predicates are considered as a special case

TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoretical computer scienceComputer sciencebusiness.industrymedia_common.quotation_subjectArtificial intelligenceSpecial caseCertaintyMonad (functional programming)businessPredicate (grammar)Sentencemedia_common
researchProduct

Properties and constraints of cheating-immune secret sharing schemes

2006

AbstractA secret sharing scheme is a cryptographic protocol by means of which a dealer shares a secret among a set of participants in such a way that it can be subsequently reconstructed by certain qualified subsets. The setting we consider is the following: in a first phase, the dealer gives in a secure way a piece of information, called a share, to each participant. Then, participants belonging to a qualified subset send in a secure way their shares to a trusted party, referred to as a combiner, who computes the secret and sends it back to the participants.Cheating-immune secret sharing schemes are secret sharing schemes in the above setting where dishonest participants, during the recons…

TheoryofComputation_MISCELLANEOUSHomomorphic secret sharingCryptography0102 computer and information sciences02 engineering and technologyShared secretComputer securitycomputer.software_genre01 natural sciencesSecret sharingCheating0202 electrical engineering electronic engineering information engineeringDiscrete Mathematics and CombinatoricsSecret sharingMathematicsbusiness.industryApplied MathematicsCryptographic protocol16. Peace & justiceShamir's Secret Sharing010201 computation theory & mathematicsResilient functionsCryptographySecure multi-party computation020201 artificial intelligence & image processingVerifiable secret sharingbusinesscomputerDiscrete Applied Mathematics
researchProduct

Constructivismo, psicoterapias cognitivas de reestructuración y enfoques contextuales

2020

En este trabajo se establecen las diferencias y convergencias principales entre los modelos cognitivos de reestructuración, los constructivistas y los contextuales. Partiendo de una breve revisión histórica se podrá enmarcar el surgimiento de cada uno de estos enfoques e, igualmente, las diferencias epistemológicas y ontológicas entre ellos. Estos modelos se analizan, principalmente, haciendo hincapié en sus conceptos principales y en las técnicas desarrolladas que, en principio, serían coherentes con su marco teórico. Igualmente, la coherencia entre teoría y práctica se hace evidente mediante el desarrollo de un tipo concreto, y diferente, de relación terapéutica en cada modelo. La conclus…

Therapeutic relationshipField (Bourdieu)Cognitive restructuringPerspective (graphical)General Earth and Planetary SciencesFrame (artificial intelligence)SociologyCoherence (linguistics)General Environmental ScienceEpistemologyRevista de Psicoterapia
researchProduct

A novel dynamic multi-model relevance feedback procedure for content-based image retrieval

2016

This paper deals with the problem of image retrieval in large databases with a big semantic gap by a relevance feedback procedure. We present a novel algorithm for modelling the users's preferences in the content-based image retrieval system.The proposed algorithm considers the probability of an image belonging to the set of those sought by the user, and estimates the parameters of several local logistic regression models whose inputs are the low-level image features. A Principal Component Analysis method is applied to the original vector to reduce its high dimensionality. The relevance probabilities predicted by these local models are combined by means of a weighted average. These weights …

Thesaurus (information retrieval)Computer scienceCognitive NeuroscienceRelevance feedback020207 software engineering02 engineering and technologycomputer.software_genreContent-based image retrievalComputer Science ApplicationsSet (abstract data type)Search engineArtificial IntelligenceFeature (computer vision)Principal component analysis0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingRelevance (information retrieval)Data miningcomputerImage retrievalSemantic gapNeurocomputing
researchProduct

Spatial joins

2019

The spatial join is a popular operation in spatial database systems and its evaluation is a well-studied problem. This paper reviews research and recent trends on spatial join evaluation. The complexity of different data types, the consideration of different join predicates, the use of modern commodity hardware, and support for parallel processing open the road to a number of interesting directions for future research, some of which we outline in the paper.

Thesaurus (information retrieval)Computer scienceCommodity hardwareSpatial databaseJoins02 engineering and technologyGeneral MedicineData scienceData typeParallel processing (DSP implementation)020204 information systems0202 electrical engineering electronic engineering information engineeringJoin (sigma algebra)020201 artificial intelligence & image processingSIGSPATIAL Special
researchProduct

Project thesaurus 2020 — Linguistic and ontological aspects

2011

Structures and linguistic concepts of thesauri are analyzed and compared. Proposals for the improvement of thesauri are developed.

Thesaurus (information retrieval)Computer scienceTopic Mapsbusiness.industryAnalogyContext (language use)Pragmaticscomputer.software_genreLinguisticsArtificial intelligenceProject managementbusinesscomputerNatural language processingProceedings of the 6th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems
researchProduct

Regularization Method in Infrared Image Processing

2003

Abstract Infrared images often present distortions induced by the measurement system. Thus, image processing is a vital part of infrared measurements. A distortion model based on a convolution product is presented. Image restoration is an ill-posed problem and its solution can be obtained using regularization methods. In this paper, image restoration is performed using a variation of Tikhonov regularization that makes use of the particular form of the convolution kernel matrix, which is built as a block-circulant matrix that admits a diagonal form in the two-dimensional Fourier space. The restoration procedure is used to restore a knife-edge infrared source image.

Tikhonov regularizationKernel (image processing)Diagonal formbusiness.industrySystem of measurementFrequency domainImage processingComputer visionArtificial intelligencebusinessRegularization (mathematics)Image restorationMathematicsIFAC Proceedings Volumes
researchProduct

Functional Brain Segmentation Using Inter-Subject Correlation in fMRI

2016

The human brain continuously processes massive amounts of rich sensory information. To better understand such highly complex brain processes, modern neuroimaging studies are increasingly utilizing experimental setups that better mimic daily‐life situations. A new exploratory data‐analysis approach, functional segmentation inter‐subject correlation analysis (FuSeISC), was proposed to facilitate the analysis of functional magnetic resonance (fMRI) data sets collected in these experiments. The method provides a new type of functional segmentation of brain areas, not only characterizing areas that display similar processing across subjects but also areas in which processing across subjects is h…

Time FactorsComputer science0302 clinical medicinetoiminnallinen magneettikuvausImage Processing Computer-AssistedCluster AnalysisSegmentationResearch Articlesinter-subject variabilityBrain Mappingshared nearest-neighborgraphmedicine.diagnostic_test05 social sciencesBrainHuman brainMiddle AgedMagnetic Resonance Imagingmedicine.anatomical_structurefunctional segmentationGaussian mixture modelGraph (abstract data type)/dk/atira/pure/sustainabledevelopmentgoals/good_health_and_well_beinginter-subject correlationAlgorithmsAdultshared nearest-neighbor graphModels NeurologicalSensory system050105 experimental psychology03 medical and health sciencesYoung AdultNeuroimagingSDG 3 - Good Health and Well-beingmedicineHumans0501 psychology and cognitive sciencesComputer SimulationCluster analysishuman brainCommunicationbusiness.industryMagnetic resonance imagingPattern recognitionfunctional magnetic resonance imagingOxygenAffinity propagationnaturalistic stimulationArtificial intelligencebusiness030217 neurology & neurosurgery
researchProduct

Inter-Model Consistency and Complementarity: Learning from ex-vivo Imaging and Electrophysiological Data towards an Integrated Understanding of Cardi…

2011

International audience; Computational models of the heart at various scales and levels of complexity have been independently developed, parameterised and validated using a wide range of experimental data for over four decades. However, despite remarkable progress, the lack of coordinated efforts to compare and combine these computational models has limited their impact on the numerous open questions in cardiac physiology. To address this issue, a comprehensive dataset has previously been made available to the community that contains the cardiac anatomy and fibre orientations from magnetic resonance imaging as well as epicardial transmembrane potentials from optical mapping measured on a per…

Time FactorsComputer scienceSwine[SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/ImagingBiophysics030204 cardiovascular system & hematologyIn Vitro Techniquescomputer.software_genreModels BiologicalBiophysical PhenomenaPersonalizationMembrane PotentialsDiffusionPurkinje Fibers03 medical and health sciences0302 clinical medicine[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingOptical mappingMaximum a posteriori estimation[INFO.INFO-IM]Computer Science [cs]/Medical ImagingAnimalsMolecular Biology030304 developmental biology0303 health sciencesComputational modelCardiac electrophysiologybusiness.industryBiophysical PhenomenaExperimental dataReproducibility of ResultsHeartMagnetic Resonance Imaging[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationElectrophysiological PhenomenaSystems IntegrationSystem integrationArtificial intelligenceData miningbusinesscomputerPericardium[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
researchProduct

Computational evidence that frequency trajectory theory does not oppose but emerges from age-of-acquisition theory.

2012

International audience; According to the age-of-acquisition hypothesis, words acquired early in life are processed faster and more accurately than words acquired later. Connectionist models have begun to explore the influence of the age/order of acquisition of items (and also their frequency of encounter). This study attempts to reconcile two different methodological and theoretical approaches (proposed by Lambon Ralph & Ehsan, 2006 and Zevin & Seidenberg, 2002) to age-limited learning effects. The current simulations extend the findings reported by Zevin and Seidenberg (2002) that have shown that frequency trajectories (FTs) have limited and specific effects on word-reading tasks. Using th…

Time FactorsComputer scienceTask (project management)Learning effect0302 clinical medicineMESH: Models PsychologicalComputingMilieux_MISCELLANEOUSMESH : Models PsychologicalCognitive sciencePsycholinguisticsMESH : Neural Networks (Computer)05 social sciencesAge FactorsContrast (statistics)MESH : Artificial IntelligenceLanguage acquisition[SCCO.PSYC]Cognitive science/Psychology[SDV.NEU]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]MESH : PsycholinguisticsCognitive psychologyMESH : Time FactorsOrder of acquisitionCognitive NeuroscienceExperimental and Cognitive PsychologyMESH: ReadingModels PsychologicalLanguage Development050105 experimental psychologyMESH: Psycholinguistics03 medical and health sciencesMESH: Neural Networks (Computer)ConnectionismArtificial IntelligenceMESH: Language DevelopmentMESH: Artificial IntelligenceHumans0501 psychology and cognitive sciencesMESH: Age FactorsMESH : Language DevelopmentMESH: HumansMESH: Time FactorsMESH : HumansMESH : ReadingWord lists by frequencyAge of AcquisitionReading[ SDV.NEU ] Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]MESH : Age FactorsNeural Networks Computer030217 neurology & neurosurgeryCognitive science
researchProduct