1342 search results - page 61 / 269 » Shape reasoning and understanding |
134
click to vote
FLAIRS
2001
15 years 7 months ago
2001
Weintroducea formalcontext mechanism,embeddedinto a descriptionlogicsframework,whichis ableto uniformly represent and managedifferent formsof ambiguitiesas theyoccurin the courseo...
134
click to vote
UM
2007
Springer
15 years 12 months ago
2007
Springer
Increasingly, online systems depend on user contributions such as posts, ratings, tags, and comments. Many of these systems wish to encourage broader participation or the contribut...
164
click to vote
CHI
2003
ACM
15 years 9 months ago
2003
ACM
This paper discusses the association of emotions as an underlying component of everyday human-computer interaction. It presents the ongoing work in the design of an experiment to ...
138
click to vote
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
184
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...