117 search results - page 19 / 24 » Do You See What I Mean |
ENTCS
2006
13 years 7 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
COMPUTER
2004
13 years 7 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
CAS
2004
13 years 7 months ago
2004
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
CANDC
2005
ACM
13 years 9 months ago
2005
ACM
The workshop will explore in depth the nature of freedom and constraint in the creative process in digital fine art from the perspective of embodied mind. The problem is crucial t...
DIGRA
2005
Springer
14 years 27 days ago
2005
Springer
The title ‘Playful Play with Games’ refers to the possibility of creative involvement with games by altering their structure in a playful way. The focus of this paper is on mo...