1090 search results - page 163 / 218 » The Equivalence between Biology and Computation |
ICIC
2007
Springer
15 years 6 months ago
2007
Springer
Humans can easily recognize complex objects even if values of their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual inform...
108
click to vote
MFCS
2007
Springer
15 years 6 months ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
HAPTICS
2005
IEEE
15 years 5 months ago
2005
IEEE
Interest in the use of tactile information displays has grown rapidly in recent years. However, relatively little research has been conducted to explore any cognitive and/or atten...
102
click to vote
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a new routing strategy, that selects the best network paths in an overlay network, in order to minimize the distortion perceived by the end user. We first pro...
100
click to vote
CSL
2005
Springer
15 years 5 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...