159 search results - page 14 / 32 » 'Computer models of the mind are invalid' |
NN
2008
Springer
14 years 11 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...
IUI
2009
ACM
15 years 8 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
199
click to vote
POPL
2007
ACM
16 years 2 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Traditional email clients are built with a “one-touch” model in mind that assumes an immediate action is performed once an email is read. However, some emails require a follow...
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...