769 search results - page 8 / 154 » Is Logic all in our Heads |
94
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a practical framework for registering a Mixed Reality(MR) environment of an arbitrary number of agents. Each agent consist of a head mounted display (HMD), which consis...
109
click to vote
APAL
1999
15 years 10 days ago
1999
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
IPMI
2003
Springer
16 years 1 months ago
2003
Springer
Abstract. The forward M/EEG problem consists in simulating the electric potential and the magnetic field produced outside the head by currents in the brain related to neural activi...
97
Voted
AGP
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
96
Voted
CORR
2008
Springer
15 years 23 days ago
2008
Springer
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...