5352 search results - page 227 / 1071 » Modeling the socio-cultural context |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
181
click to vote
MMS
2008
15 years 6 months ago
2008
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
154
click to vote
JSYML
2007
15 years 6 months ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
185
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
172
click to vote
ACL
2012
13 years 9 months ago
2012
Since we can ‘spin’ words and concepts to suit our affective needs, context is a major determinant of the perceived affect of a word or concept. We view this re-profiling as a...