1120 search results - page 149 / 224 » Making computer science minority-friendly |
115
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
149
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state aut...
164
Voted
ICDE
2010
IEEE
16 years 28 days ago
2010
IEEE
— In this paper1 we address the problem of processing continuous multi-join queries, over distributed data streams. Our approach makes use of existing work in the field of publi...
118
click to vote
PAKDD
2009
ACM
16 years 28 days ago
2009
ACM
Abstract. Since current search engines employ link-based ranking algorithms as an important tool to decide a ranking of sites, Web spammers are making a significant effort to man...
135
Voted
SDM
2009
SIAM
16 years 28 days ago
2009
SIAM
Most datasets in real applications come in from multiple sources. As a result, we often have attributes information about data objects and various pairwise relations (similarity) ...