922 search results - page 145 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
141
click to vote
ICTIR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...
130
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
121
click to vote
ICAIL
2009
ACM
15 years 8 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
116
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in messagepassing syste...
137
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...