Sciweavers

7504 search results - page 320 / 1501
» Computing with Action Potentials
Sort
View
AI50
2006
15 years 8 months ago
The Physical Symbol System Hypothesis: Status and Prospects
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...
Nils J. Nilsson
DEFORM
2000
15 years 5 months ago
Efficient Muscle Shape Deformation
: In this paper we extend previous work [Aubel00] and propose a muscle model suitable for computer graphics based on physiological and anatomical considerations. Muscle motion and ...
Amaury Aubel, Daniel Thalmann
MST
2008
118views more  MST 2008»
15 years 4 months ago
Risk Assessment for One-Counter Threads
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
Alban Ponse, Mark van der Zwaag
APAL
2005
117views more  APAL 2005»
15 years 4 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
BC
1999
100views more  BC 1999»
15 years 4 months ago
A mathematical model of the adaptive control of human arm motions
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...
Robert M. Sanner, Makiko Kosha