2742 search results - page 383 / 549 » Deriving Category Theory from Type Theory |
CHI
2004
ACM
14 years 9 months ago
2004
ACM
We present a chat system that uses animated text associated with emotional information to show the affective state of the user. The system obtains the affective state of a chat us...
RECOMB
2003
Springer
14 years 9 months ago
2003
Springer
Although analysis of genome rearrangements was pioneered by Dobzhansky and Sturtevant 65 years ago, we still know very little about the rearrangement events that produced the exis...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Conducting controlled experiments about programming activities often requires the use of multiple tasks of similar difficulty. In previously reported work about a controlled exper...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Leveraging information from relevance assessments has been proposed as an effective means for improving retrieval. We introduce a novel language modeling method which uses inform...
MHCI
2009
Springer
2009
Springer
The use of mobile contact list applications and a context-oriented framework to support their design
14 years 3 months ago
Contact lists are one of the most frequently used applications on mobile devices. They are used not only as contact detail repositories, but also as temporary information storage ...