3563 search results - page 212 / 713 » Information theory in neuroscience |
158
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
169
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
153
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose a...
180
click to vote
TABLETOP
2008
IEEE
16 years 27 days ago
2008
IEEE
To realize the potential of multi-touch tables, interaction designers need to create meaningful applications for them in real-world contexts. One convenient shortcut towards that ...
147
click to vote
SMI
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...