3058 search results - page 15 / 612 » Reflections on |
TPHOL
2000
IEEE
13 years 11 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
CRITICAL
2005
13 years 9 months ago
2005
As computing moves into every aspect of our daily lives, the process, values and assumptions that underlie our technical practices may unwittingly be propagated throughout our cul...
ISTA
2003
13 years 9 months ago
2003
: A growing number of universities and companies are now becoming focused on promoting learning that is not merely instrumental. These aspirations refer to deep learning, transform...
TOG
2008
13 years 7 months ago
2008
We present a practical method for modeling layered facial reflectance consisting of specular reflectance, single scattering, and shallow and deep subsurface scattering. We estimat...
CSCW
2012
ACM
2012
ACM
See friendship, sort of: how conversation and digital traces might support reflection on friendships
12 years 3 months ago
Inspired by conversational visualization tools and the increasing enactment of relationships in social media, we examine how people reflect on friendships and how social data and ...