Sciweavers

2577 search results - page 303 / 516
» Multimedia Question Answering
Sort
View
POPL
2010
ACM
16 years 3 months ago
Threesomes, With and Without Blame
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
Jeremy G. Siek, Philip Wadler
144
Voted
CHI
2010
ACM
16 years 1 months ago
The design of eco-feedback technology
Eco-feedback technology provides feedback on individual or group behaviors with a goal of reducing environmental impact. The history of eco-feedback extends back more than 40 year...
Jon Froehlich, Leah Findlater, James A. Landay
140
Voted
GLOBECOM
2009
IEEE
16 years 27 days ago
Human Behavior and Challenges of Anonymizing WLAN Traces
—With the wide spread deployment of wireless LANs (WLANs), it is becoming necessary to conduct analysis of libraries of measurements taken from such operational networks. The ava...
Udayan Kumar, Ahmed Helmy
143
Voted
IWPC
2009
IEEE
16 years 24 days ago
An empirical study on the comprehension of stereotyped UML class diagram layouts
An empirical study is presented that investigates how stereotype based layouts impact the comprehension of UML class diagrams. This work continues a previous study using eye-track...
Bonita Sharif, Jonathan I. Maletic
ASIACRYPT
2009
Springer
16 years 22 days ago
Cascade Encryption Revisited
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
Peter Gazi, Ueli M. Maurer