Sciweavers

3299 search results - page 491 / 660
» A general mathematics of names
Sort
View
HASKELL
2008
ACM
15 years 7 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
CHI
2010
ACM
15 years 6 months ago
Multitasking bar: prototype and evaluation of introducing the task concept into a browser
This paper clarifies two common patterns of multitasking on the Web, namely Multiple Tasks (MT) and Multiple Session Task (MST). To support both of these, the task concept needs t...
Qing Wang, Huiyou Chang
RECSYS
2010
ACM
15 years 6 months ago
Recommending twitter users to follow using content and collaborative filtering approaches
Recently the world of the web has become more social and more real-time. Facebook and Twitter are perhaps the exemplars of a new generation of social, real-time web services and w...
John Hannon, Mike Bennett, Barry Smyth
SIGECOM
2010
ACM
128views ECommerce» more  SIGECOM 2010»
15 years 6 months ago
Equilibria of plurality voting with abstentions
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
Yvo Desmedt, Edith Elkind
SIGIR
2010
ACM
15 years 6 months ago
Ontology-enriched multi-document summarization in disaster management
In this poster, we propose a novel document summarization approach named Ontology-enriched M ulti-Document Summarization(OMS) for utilizing background knowledge to improve summari...
Lei Li, Dingding Wang, Chao Shen, Tao Li