Results 1 - 10 of 13,446

Final Model Semantics for Normal Default Theories

by Joeri Engelfriet, Jan Treur , 1994
"... this paper we formalize default reasoning processes (based on normal default theories) by temporal models. This enables us to integrate process aspects of the reasoning in the semantics in an explicit manner. The branching character of these reasoning processes is described by branching time tempora ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
this paper we formalize default reasoning processes (based on normal default theories) by temporal models. This enables us to integrate process aspects of the reasoning in the semantics in an explicit manner. The branching character of these reasoning processes is described by branching time

Does the autistic child have a theory of mind

by Simon Baron-cohen, Alan M. Leslie, Uta Frith - Cognition , 1985
"... We use a new model of metarepresentational development to predict a cognitive deficit which could explain a crucial component of the social impairment in childhood autism. One of the manifestations of a basic metarepresentational ca-pacity is a ‘theory of mind’. We have reason to believe that autist ..."
Abstract - Cited by 596 (47 self) - Add to MetaCart
that autistic children lack such a ‘theory’. If this were so, then they would be unable to impute beliefs to others and to predict their behaviour. This hypothesis was tested using Wimmer and Perner’s puppet play paradigm. Normal children and those with Down’s syndrome were used as controls for a group

Aging: a theory based on free radical and radiation chemistry

by Denham Harman, Ph. D - J Gerontol , 1956
"... The phenomenon of growth, decline and death-aging-has been the source of consider-able speculation (1, 8, 10). This cycle seems to be a more or less direct function of the meta-bolic rate and this in turn depends on the species (animal or plant) on which are super-imposed the factors of heredity and ..."
Abstract - Cited by 637 (2 self) - Add to MetaCart
and of radiobiology, it seems possible that one factor in aging may be related to deleterious side attacks of free radicals (which are normally produced in the course of cellular metabolism) on cell constituents.' Irradiation of living things induces mutation, cancer, and aging (9). Inasmuch as these also arise

Classical negation in logic programs and disjunctive databases

by Michael Gelfond, Vladimir Lifschitz - New Generation Computing , 1991
"... An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic, is that logic programming does not allow us to deal directly with incomplete information. In order to overcome this limitation, we extend the class of general logic progra ..."
Abstract - Cited by 1044 (73 self) - Add to MetaCart
programs and disjunctive databases more easily when classical negation is available. Computationally, classical negation can be eliminated from extended programs by a simple preprocessor. Extended programs are identical to a special case of default theories in the sense of Reiter. 1

A Fast Marching Level Set Method for Monotonically Advancing Fronts

by J. A. Sethian - PROC. NAT. ACAD. SCI , 1995
"... We present a fast marching level set method for monotonically advancing fronts, which leads to an extremely fast scheme for solving the Eikonal equation. Level set methods are numerical techniques for computing the position of propagating fronts. They rely on an initial value partial differential eq ..."
Abstract - Cited by 630 (24 self) - Add to MetaCart
equation for a propagating level set function, and use techniques borrowed from hyperbolic conservation laws. Topological changes, corner and cusp development, and accurate determination of geometric properties such as curvature and normal direction are naturally obtained in this setting. In this paper, we

Constructing Free Energy Approximations and Generalized Belief Propagation Algorithms

by Jonathan S. Yedidia, William T. Freeman, Yair Weiss - IEEE Transactions on Information Theory , 2005
"... Important inference problems in statistical physics, computer vision, error-correcting coding theory, and artificial intelligence can all be reformulated as the computation of marginal probabilities on factor graphs. The belief propagation (BP) algorithm is an efficient way to solve these problems t ..."
Abstract - Cited by 585 (13 self) - Add to MetaCart
Important inference problems in statistical physics, computer vision, error-correcting coding theory, and artificial intelligence can all be reformulated as the computation of marginal probabilities on factor graphs. The belief propagation (BP) algorithm is an efficient way to solve these problems

For Most Large Underdetermined Systems of Linear Equations the Minimal ℓ1-norm Solution is also the Sparsest Solution

by David L. Donoho - Comm. Pure Appl. Math , 2004
"... We consider linear equations y = Φα where y is a given vector in R n, Φ is a given n by m matrix with n < m ≤ An, and we wish to solve for α ∈ R m. We suppose that the columns of Φ are normalized to unit ℓ 2 norm 1 and we place uniform measure on such Φ. We prove the existence of ρ = ρ(A) so that ..."
Abstract - Cited by 568 (10 self) - Add to MetaCart
We consider linear equations y = Φα where y is a given vector in R n, Φ is a given n by m matrix with n < m ≤ An, and we wish to solve for α ∈ R m. We suppose that the columns of Φ are normalized to unit ℓ 2 norm 1 and we place uniform measure on such Φ. We prove the existence of ρ = ρ(A) so

A tutorial on support vector machines for pattern recognition

by Christopher J. C. Burges - Data Mining and Knowledge Discovery , 1998
"... The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-separable data, working through a non-trivial example in detail. We describe a mechanical analogy, and discuss when SV ..."
Abstract - Cited by 3393 (12 self) - Add to MetaCart
large (even infinite) VC dimension by computing the VC dimension for homogeneous polynomial and Gaussian radial basis function kernels. While very high VC dimension would normally bode ill for generalization performance, and while at present there exists no theory which shows that good generalization

Diagnosing multiple faults.

by Johan De Kleer , Brian C Williams - Artificial Intelligence, , 1987
"... Abstract Diagnostic tasks require determining the differences between a model of an artifact and the artifact itself. The differences between the manifested behavior of the artifact and the predicted behavior of the model guide the search for the differences between the artifact and its model. The ..."
Abstract - Cited by 808 (62 self) - Add to MetaCart
with sequential diagnosis to propose measurements to localize the faults. The normally required conditional probabilities are computed from the structure of the device and models of its components. This capability results from a novel way of incorporating probabilities and information theory into the context

Feature detection with automatic scale selection

by Tony Lindeberg - International Journal of Computer Vision , 1998
"... The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the notion of scale is of utmost importance when processing unknown measurement data by automatic methods. In their seminal works ..."
Abstract - Cited by 723 (34 self) - Add to MetaCart
works, Witkin (1983) and Koenderink (1984) proposed to approach this problem by representing image structures at different scales in a so-called scale-space representation. Traditional scale-space theory building on this work, however, does not address the problem of how to select local appropriate
Results 1 - 10 of 13,446