Mental Disorder Diagnostic System Based on Logical-Combinatorial Methods of Pattern Recognition [PDF]
Computer Science Journal of Moldova, 2013 The authors describe mental disorder diagnostic system based on logical-combinatorial methods of pattern recognition called as the intelligent system DIAPROD-LOG. The system is designed for diagnostics and prevention of depression.
Anna Yankovskaya, Sergei Kitler
doaj +5 more sources
A Fast Implementation for the Typical Testor Property Identification Based on an Accumulative Binary Tuple [PDF]
International Journal of Computational Intelligence Systems, 2012 In this paper, we introduce a fast implementation of the CT EXT algorithm for testor property identification, that is based on an accumulative binary tuple.
Guillermo Sanchez-Diaz +2 more
doaj +1 more source
De la extracción al modelado del conocimiento en un Sistema Basado en el Conocimiento. Un enfoque desde el agrupamiento conceptual lógico combinatorio (From the extraction to knowledge modeling in a Knowledge Based System. A logical combinatorial conceptual grouping approach) [PDF]
GECONTEC: Revista Internacional de Gestión del Conocimiento y la Tecnología, 2017 Elucidar y reproducir conocimiento es la tarea central en la construcción de los sistemas basados en el conocimiento; el sujeto de esta acción es el ingeniero de conocimiento.
Yunia Reyes González +3 more
doaj +3 more sources
Chemoinformatics Research at the University of Sheffield: A History and Citation Analysis [PDF]
, 2003 This paper reviews the work of the Chemoinformatics Research Group in the Department of Information Studies at the University of Sheffield, focusing particularly on the work carried out in the period 1985-2002.
Bishop, N. +3 more
core +1 more source
Picking groups instead of samples: a close look at Static Pool-based Meta-Active Learning [PDF]
, 2019 ©2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new ...
Mas Méndez, Ignasi +2 more
core +2 more sources
Homological Region Adjacency Tree for a 3D Binary Digital Image via HSF Model [PDF]
, 2019 Given a 3D binary digital image I, we define and compute an edge-weighted tree, called Homological Region Tree (or Hom-Tree, for short). It coincides, as unweighted graph, with the classical Region Adjacency Tree of black 6-connected components (CCs ...
Blanco Trejo, Sergio +3 more
core +1 more source
Commentary on Jakab's Ineffability of Qualia [PDF]
, 2000 Zoltan Jakab has presented an interesting conceptual analysis of the ineffability of qualia in a functionalist and classical cognitivist framework. But he does not want to commit himself to a certain metaphysical thesis on the ontology of consciousness ...
Metzinger, Thomas
core +1 more source
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps [PDF]
, 2008 This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by structural or
Dufourd, Jean-François
core +6 more sources
Computing the Component-Labeling and the Adjacency Tree of a Binary Digital Image in Near Logarithmic-Time [PDF]
, 2019 Connected component labeling (CCL) of binary images is one of the fundamental operations in real time applications. The adjacency tree (AdjT) of the connected components offers a region-based representation where each node represents a region which is
Díaz del Río, Fernando +2 more
core +1 more source
Distributed associative memories for high-speed symbolic reasoning [PDF]
, 1996 This paper briefly introduces a novel symbolic reasoning system based upon distributed associative memories which are constructed from correlation matrix memories (CMM). The system is aimed at high-speed rule-based symbolic operations.
Austin, J
core +1 more source