Results 1  10
of
2,302
Tarski’s Intuitive Notion of Set
"... Abstract. Tarski did research on set theory and also used set theory in many of his emblematic writings. Yet his notion of set from the philosophical viewpoint was almost unknown. By studying mostly the posthumously published evidence, his still unpublished materials, and the testimonies of some of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
of his collaborators, I try to offer here a first, global picture of that intuitive notion, together with a philosophical interpretation of it. This is made by using several notions of universal languages as framework, and by taking into consideration the evolution of Tarski’s thoughts about set theory
1 In search of the intuitive notion of logical consequence
"... After decades of predominant focus on the notion of logical truth, the debate on the concept of logical consequence among philosophers and logicians was reignited by J. Etchemendy’s book The Concept of Logical Consequence (1990). His main tenet was ..."
Abstract
 Add to MetaCart
After decades of predominant focus on the notion of logical truth, the debate on the concept of logical consequence among philosophers and logicians was reignited by J. Etchemendy’s book The Concept of Logical Consequence (1990). His main tenet was
Qualitative process theory
 MIT AI Lab Memo
, 1982
"... Objects move, collide, flow, bend, heat up, cool down, stretch, compress. and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand commonsense physical reasoning and make programs that interact with the physical world as well ..."
Abstract

Cited by 899 (92 self)
 Add to MetaCart
Objects move, collide, flow, bend, heat up, cool down, stretch, compress. and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand commonsense physical reasoning and make programs that interact with the physical world as well
A New VoronoiBased Surface Reconstruction Algorithm
, 2002
"... We describe our experience with a new algorithm for the reconstruction of surfaces from unorganized sample points in R³. The algorithm is the first for this problem with provable guarantees. Given a “good sample” from a smooth surface, the output is guaranteed to be topologically correct and converg ..."
Abstract

Cited by 414 (9 self)
 Add to MetaCart
and convergent to the original surface as the sampling density increases. The definition of a good sample is itself interesting: the required sampling density varies locally, rigorously capturing the intuitive notion that featureless areas can be reconstructed from fewer samples. The output mesh interpolates
Independent Component Filters Of Natural Images Compared With Simple Cells In Primary Visual Cortex
, 1998
"... this article we investigate to what extent the statistical properties of natural images can be used to understand the variation of receptive field properties of simple cells in the mammalian primary visual cortex. The receptive fields of simple cells have been studied extensively (e.g., Hubel & ..."
Abstract

Cited by 357 (0 self)
 Add to MetaCart
basically consider processing by the visual cortex as a general image processing strategy, relatively independent of detailed assumptions about image statistics. On the other hand, the edge and line detector hypothesis is based on the intuitive notion that edges and lines are both abundant and important
ORDERINGS FOR TERMREWRITING SYSTEMS
, 1982
"... Methods of proving that a termrewriting system terminates are presented. They are based on the intuitive notion of 'simplification orderings'. orderings in which any term that is syntactically simpler than another is smaller than the other. M a consequence of Kruskal's Tree Theorem ..."
Abstract

Cited by 294 (24 self)
 Add to MetaCart
Methods of proving that a termrewriting system terminates are presented. They are based on the intuitive notion of 'simplification orderings'. orderings in which any term that is syntactically simpler than another is smaller than the other. M a consequence of Kruskal's Tree
A clash of intuitions: The current state of nonmonotonic multiple inheritance systems
 IJCAI87
, 1987
"... Abstract: Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straight forward extensions of treestructured inheritance systems, and were theoretically unsound. In The Mathematics of Inheritance Systems, or TMOIS, Touretzky described two problems these systems ..."
Abstract

Cited by 134 (15 self)
 Add to MetaCart
that are equally sound and intuitive, but do not always agree with TMOIS. At the heart of the controversy is a clash of intuitions about certain fundamental issues such as skepticism versus credulity, the direction in which inheritance paths are extended, and classical versus intuitive notions of consistency. Just
Discovering similar multidimensional trajectories
 In ICDE
, 2002
"... We investigate techniques for analysis and retrieval of object trajectories in a two or three dimensional space. Such kind of data usually contain a great amount of noise, that makes all previously used metrics fail. Therefore, here we formalize nonmetric similarity functions based on the Longest C ..."
Abstract

Cited by 260 (6 self)
 Add to MetaCart
Common Subsequence (LCSS), which are very robust to noise and furthermore provide an intuitive notion of similarity between trajectories by giving more weight to the similar portions of the sequences. Stretching of sequences in time is allowed, as well as global translating of the sequences in space
Fast Similarity Search in the Presence of Noise, Scaling, and Translation in TimeSeries Databases
 In VLDB
, 1995
"... We introduce a new model of similarity of time sequences that captures the intuitive notion that two sequences should be considered similar if they have enough nonoverlapping timeordered pairs of subsequences thar are similar. The model allows the amplitude of one of the two sequences to be scaled ..."
Abstract

Cited by 236 (6 self)
 Add to MetaCart
We introduce a new model of similarity of time sequences that captures the intuitive notion that two sequences should be considered similar if they have enough nonoverlapping timeordered pairs of subsequences thar are similar. The model allows the amplitude of one of the two sequences
The concept of power
 Behavioral Science
, 1957
"... What is “power”? Most people have an intuitive notion of what it means. But scientists have not yet formulated a statement of the concept of power that is rigorous enough to be of use in the systematic study of this important social phenomenon. Power is here defined in terms of a relation between p ..."
Abstract

Cited by 240 (0 self)
 Add to MetaCart
What is “power”? Most people have an intuitive notion of what it means. But scientists have not yet formulated a statement of the concept of power that is rigorous enough to be of use in the systematic study of this important social phenomenon. Power is here defined in terms of a relation between
Results 1  10
of
2,302