Sciweavers

22 search results - page 2 / 5
» Symbol Grounding in Computational Systems: A Paradox of Inte...
Sort
View
HAPTICS
2005
IEEE
13 years 10 months ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson
ISMIR
2005
Springer
124views Music» more  ISMIR 2005»
13 years 10 months ago
Symbolic Representation of Musical Chords: A Proposed Syntax for Text Annotations
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
Christopher Harte, Mark B. Sandler, Samer A. Abdal...
ISCI
2000
100views more  ISCI 2000»
13 years 5 months ago
A neurobiological interpretation of semiotics: meaning, representation, and information
The branch of semiotics called semantics deals with the relation between meanings and representations, widely known as the symbol grounding problem. The other branches of semiotic...
Walter J. Freeman
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 8 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
BIRTHDAY
2010
Springer
13 years 6 months ago
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
Dexter Kozen