Sciweavers

5158 search results - page 162 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
CSCW
2012
ACM
12 years 5 months ago
Of joy and gender: emotional expression in online social networks
In this study, we analyzed the language use on Twitter personal exchanges as well as properties of the users’ networks, to study the influence of gender composition on expressio...
Funda Kivran-Swaine, Samuel Brody, Nicholas Diakop...
POPL
2012
ACM
12 years 5 months ago
An executable formal semantics of C with applications
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
Chucky Ellison, Grigore Rosu
TEI
2012
ACM
257views Hardware» more  TEI 2012»
12 years 5 months ago
Beyond affordance: tangibles' hybrid nature
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
Eva Hornecker
ICSE
2012
IEEE-ACM
12 years 17 days ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
ATAL
2003
Springer
14 years 3 months ago
Risk-averse auction agents
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
Yaxin Liu, Richard Goodwin, Sven Koenig