1532 search results - page 113 / 307 » The Symbol Grounding Problem |
146
click to vote
HCI
2007
15 years 5 months ago
2007
The cultural diversity of users of technology challenges our methods for usability evaluation. In this paper we report on a multi-site, cross-cultural grounded theory field study o...
127
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
132
Voted
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
153
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
We show that rigid reachability, the non-symmetric form of rigid E-unification, is undecidable already in the case of a single constraint. From this we infer the undecidability of ...
129
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Compliant mechanisms are one-piece devices that combine the features of both structures and mechanisms. Compliant mechanism design solutions were identified by using evolutionary t...