Sciweavers

1264 search results - page 11 / 253
» Towards Theory Translation
Sort
View
RSCTC
2000
Springer
111views Fuzzy Logic» more  RSCTC 2000»
14 years 8 days ago
Toward a Perception-Based Theory of Probabilistic Reasoning
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
Lotfi A. Zadeh
MKM
2007
Springer
14 years 2 months ago
Towards Constructive Homological Algebra in Type Theory
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
Thierry Coquand, Arnaud Spiwack
AIML
2000
13 years 10 months ago
Towards a Many-Dimensional Modal Logic for Semantic Processing
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
Tim Fernando
MT
2008
92views more  MT 2008»
13 years 8 months ago
Toward communicating simple sentences using pictorial representations
This paper evaluates the hypothesis that pictorial representations can be used to effectively convey simple sentences across language barriers. Comparative evaluations show that a...
Rada Mihalcea, Chee Wee Leong
FSS
2010
97views more  FSS 2010»
13 years 7 months ago
An early approach toward graded identity and graded membership in set theory
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
Siegfried Gottwald