2013 search results - page 13 / 403 » Happy New Year |
105
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
85
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
This paper deals with fair assignment problems in decision contexts involving multiple agents. In such problems, each agent has its own evaluation of costs and we want to find a f...
132
click to vote
SMC
2010
IEEE
15 years 8 days ago
2010
IEEE
—This paper presents a new framework to describe individual facial expression spaces, particularly addressing the dynamic diversity of facial expressions that appear as an exclam...
153
Voted
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
114
click to vote
JCDL
2005
ACM
15 years 7 months ago
2005
ACM
This paper introduces a new framework for building digital library collections and contrasts it with existing systems. It describes a radical new step in the development of a widel...