Results 281 to 290 of about 305,262 (317)
Some of the next articles are maybe not open access.
Proceedings of the 4th ACM workshop on Security and artificial intelligence, 2011
CAPTCHA (Completely Automatic Public Turing Test to Tell Computer and Human Apart) systems are used to distinguish human users from computer programs automatically. The goal of them is to ask questions which human users can easily answer, but current computers cannot.
Sajad Shirali-Shahreza +1 more
openaire +1 more source
CAPTCHA (Completely Automatic Public Turing Test to Tell Computer and Human Apart) systems are used to distinguish human users from computer programs automatically. The goal of them is to ask questions which human users can easily answer, but current computers cannot.
Sajad Shirali-Shahreza +1 more
openaire +1 more source
WIREs Cognitive Science, 2009
AbstractCategorical perception (CP) is the phenomenon by which the categories possessed by an observer influences the observers' perception. Experimentally, CP is revealed when an observer's ability to make perceptual discriminations between things is better when those things belong to different categories rather than the same category, controlling for
Goldstone, R.L., Hendrickson, A.T.
openaire +3 more sources
AbstractCategorical perception (CP) is the phenomenon by which the categories possessed by an observer influences the observers' perception. Experimentally, CP is revealed when an observer's ability to make perceptual discriminations between things is better when those things belong to different categories rather than the same category, controlling for
Goldstone, R.L., Hendrickson, A.T.
openaire +3 more sources
Mathematical Structures in Computer Science, 1991
This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for each concept, but completeness is not attempted.
openaire +1 more source
This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for each concept, but completeness is not attempted.
openaire +1 more source
The Bulletin of Symbolic Logic
AbstractDue to Gödel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their
openaire +2 more sources
AbstractDue to Gödel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their
openaire +2 more sources
Trends in Cognitive Sciences, 2008
In studying categorization, cognitive science has focused primarily on cultural categorization, ignoring individual and institutional categorization. Because recent technological developments have made individual and institutional classification systems much more available and powerful, our understanding of the cognitive and social mechanisms that ...
Robert J, Glushko +3 more
openaire +2 more sources
In studying categorization, cognitive science has focused primarily on cultural categorization, ignoring individual and institutional categorization. Because recent technological developments have made individual and institutional classification systems much more available and powerful, our understanding of the cognitive and social mechanisms that ...
Robert J, Glushko +3 more
openaire +2 more sources
, 2005 During the last 15 years, the production of documents in digital form has exploded, due to the increased availability of hardware and software tools for generating digital data (e.g., personal computers, digital cameras, word processors) and for digitizing data that had been originated in nondigital form (e.g., scanners, OCR software).
openaire +2 more sources
Canadian Mathematical Bulletin, 1967
If one considers the theories of Hurewicz, - Serre - or other fibrations in the categories of topological or pointed topological spaces, one can see that many of the fundamental theorems can be formulated and proven in the general case of categories for which certain functors and natural transformations are given.
openaire +2 more sources
If one considers the theories of Hurewicz, - Serre - or other fibrations in the categories of topological or pointed topological spaces, one can see that many of the fundamental theorems can be formulated and proven in the general case of categories for which certain functors and natural transformations are given.
openaire +2 more sources
The Journal of Symbolic Logic, 1976
One of the earliest goals of modern logic was to characterize familiar mathematical structures up to isomorphism by means of properties expressed in a first order language. This hope was dashed by Skolem's discovery (cf. [6]) of a nonstandard model of first order arithmetic.
openaire +1 more source
One of the earliest goals of modern logic was to characterize familiar mathematical structures up to isomorphism by means of properties expressed in a first order language. This hope was dashed by Skolem's discovery (cf. [6]) of a nonstandard model of first order arithmetic.
openaire +1 more source
Foundations and Trends® in Computer Graphics and Vision, 2005
This article presents foundations, original research and trends in the field of object categorization by computer vision methods. The research goals in object categorization are to detect objects in images and to determine the object’s categories. Categorization aims for the recognition of generic classes of objects, and thus has also been termed ...
openaire +1 more source
This article presents foundations, original research and trends in the field of object categorization by computer vision methods. The research goals in object categorization are to detect objects in images and to determine the object’s categories. Categorization aims for the recognition of generic classes of objects, and thus has also been termed ...
openaire +1 more source
1987
Abstract : Context is important when people judge sounds, or attributes of sounds, or other stimuli. It is shown how judgments depend on what sounds recently occurred (sequence effects), on how those sounds differ from one another (range effects), on the distribution of those differences (set effects), on what subjects are told about the situation ...
openaire +1 more source
Abstract : Context is important when people judge sounds, or attributes of sounds, or other stimuli. It is shown how judgments depend on what sounds recently occurred (sequence effects), on how those sounds differ from one another (range effects), on the distribution of those differences (set effects), on what subjects are told about the situation ...
openaire +1 more source