4502 search results - page 754 / 901 » Regular Model Checking |
159
Voted
WAW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study the relation between PageRank and other parameters of information networks such as in-degree, out-degree, and the fraction of dangling nodes. We model this relat...
120
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
129
click to vote
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
We describe an HTML web page segmentation algorithm, which is applied to segment online medical journal articles (regular HTML and PDF-Converted-HTML files). The web page content ...
165
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Noise confounds present serious complications to accurate data analysis in functional magnetic resonance imaging (fMRI). Simply relying on contextual image information often resul...
144
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we intend to solve the problem of maximum-revenue multicast routing with a partial admission control mechanism for multirate multimedia distribution. Specifically, ...