Sciweavers

878 search results - page 66 / 176
» Social tag prediction
Sort
View
CADE
2008
Springer
16 years 5 days ago
Bitfields and Tagged Unions in C: Verification through Automatic Generation
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
David Cock
CSE
2009
IEEE
15 years 6 months ago
Web Science 2.0: Identifying Trends through Semantic Social Network Analysis
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
Peter A. Gloor, Jonas Krauss, Stefan Nann, Kai Fis...
TKDE
2012
190views Formal Methods» more  TKDE 2012»
13 years 2 months ago
Scalable Learning of Collective Behavior
—This study of collective behavior is to understand how individuals behave in a social networking environment. Oceans of data generated by social media like Facebook, Twitter, Fl...
Lei Tang, Xufei Wang, Huan Liu
ICWSM
2010
15 years 1 months ago
A Comparison of Generated Wikipedia Profiles Using Social Labeling and Automatic Keyword Extraction
In many collaborative systems, researchers are interested in creating representative user profiles. In this paper, we are particularly interested in using social labeling and auto...
Terrell Russell, Bongwon Suh, Ed H. Chi
CIDR
2009
107views Algorithms» more  CIDR 2009»
15 years 1 months ago
Social Systems: Can We Do More Than Just Poke Friends?
Social sites have become extremely popular among users but have they attracted equal attention from the research community? Are they good only for simple tasks, such as tagging an...
Georgia Koutrika, Benjamin Bercovitz, Robert Ikeda...