3353 search results - page 323 / 671 » Laver and set theory |
156
click to vote
ACII
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We have built eMoto, a mobile service for sending and receiving affective messages, with the explicit aim of addressing the inner experience of emotions. eMoto is a desig...
160
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
When rational but myopic agents negotiate over the exchange of indivisible resources, any restriction to the negotiation protocol may prevent the system from converging to a socia...
185
click to vote
CALCO
2005
Springer
16 years 8 days ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
154
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
169
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
Little work to date in sentiment analysis (classifying texts by ‘positive’ or ‘negative’ orientation) has attempted to use fine-grained semantic distinctions in features ...