626 search results - page 110 / 126 » When Can Formal Methods Make a Real Difference |
186
Voted
SIGIR
2011
ACM
14 years 6 months ago
2011
ACM
As the Internet grows explosively, search engines play a more and more important role for users in effectively accessing online information. Recently, it has been recognized that ...
157
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: In the analysis of networks we frequently require the statistical significance of some network statistic, such as measures of similarity for the properties of interact...
148
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Social media such as blogs, Facebook, Flickr, etc., presents data in a network format rather than classical IID distribution. To address the interdependency among data instances, ...
142
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach for classifying documents that combines different pieces of evidence (e.g., textual features of documents, links, and citations) transparently, through...
127
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Collaborative beamforming (CB) is a power efficient method for data communications in wireless sensor networks (WSNs) which aims at increasing the transmission range in the network...