122 search results - page 25 / 25 » A Formal Framework for Design Component Contracts |
ACISP
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
AAAI
2006
13 years 6 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...