منابع مشابه
Le problème du premier chiffre décimal pour les nombres premiers
1 Das ist die Noth der schweren Zeit! Das ist die schwere Zeit der Noth! Das ist die schwere Noth der Zeit! Das ist die Zeit der schweren Noth! (A. von Chamisso, Vorläufer der Kombinatorik) A Dominique, en témoignage d'estime et de profonde amitié. R ´ esum´ e.-Pour une large classe de parties de * (` a laquelle appartient no-tamment l'ensemble qui intervient dans leprobì eme du premier chiffre...
متن کاملA Symbol Is Not a Symbol
One of the weak points of the present critics of AI is their lack of an alternative cognitive theory. In the paper the outline of such a theory is sketched, based on (one reading) of Piaget's genetic epistemology. This is used to clarify the ambiguity of the terms 'symbol' and 'representation', thereby making it possible to suggest a reconciliation of the positions of the critics and defenders ...
متن کاملInterpolation and Symbol Elimination
We prove several results related to local proofs, interpolation and superposition calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alternative to interpolation.
متن کاملSymbol Systems
A symbol is a pattern (of physical marks, electromagnetic energy, etc.) which denotes, designates, or otherwise has meaning. The notion that intelligence requires the use and manipulation of symbols, and that humans are therefore symbol systems, has been extremely in uential in arti cial intelligence. keywords: symbol, reasoning, intelligence, representation, logic This article has two parts. W...
متن کاملSymbol Synchronization
As we have seen in other chapters, the operation and performance of various receiver functions can be quite sensitive to knowledge of the timing (data transition epochs) of the received data symbols. Thus, the ability to accurately estimate this parameter and continuously update the estimate, i.e., perform symbol synchronization (sync), with little knowledge of other parameters is critical to s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1980
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.29.231