1174 search results - page 75 / 235 » Derivation of Characteristic Formulae |
145
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
133
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a novel blind source separation algorithm called Block AutoRegressive Blind Identification (BARBI). The algorithm is asymptotically efficient in separation of instant...
102
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we study the giant component, the largest component containing a non-vanishing fraction of nodes, in wireless multi-hop networks in d (d = 1, 2). We assume that n...
130
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of tag prediction in collaborative tagging systems where users share and annotate resources on the Web. We put forward HAMLET, a novel approach to automatic...
138
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...