3563 search results - page 222 / 713 » Information theory in neuroscience |
145
click to vote
IV
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper discusses the history of domain maps in the context of similar developments in the field of cartography. Drawing from its underlying definitions, this paper identifies ...
204
click to vote
CAI
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
166
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...
139
click to vote
ICALP
1999
Springer
15 years 10 months ago
1999
Springer
We demonstrate an ⍀( pn1ϩ1/p) lower bound on the average-case running time (uniform distribution) of p-pass Shellsort. This is the first nontrivial general lower bound for avera...
191
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...