3206 search results - page 266 / 642 » How minds can be computational systems |
182
click to vote
TCS
2008
15 years 6 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...
163
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...
208
click to vote
GW
1999
Springer
15 years 11 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents a framework that emphasizes the role of vision on referring actions. In particular, affordances are util...
205
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
215
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- In recent years, there has been a rapid and wide spread proliferation of non-traditional embedded computing platforms such as digital camcorders, cellular phones, and portable me...