1325 search results - page 154 / 265 » The Incidence Propagation Method |
133
Voted
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
125
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
215
click to vote
CVPR
2010
IEEE
16 years 27 days ago
2010
IEEE
In this paper, a novel hierarchical clustering method using link analysis techniques is introduced. The algorithm is formulated as an authority seeking procedure on graphs, which c...
129
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study the inversion of a random field from pointwise measurements collected by a sensor network. We assume that the field has a sparse representation in a known basis. To ...
138
Voted
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
We develop a method for the optical flow computation from a zooming image sequence. The synchronisation of image resolution for a pair of successive images in an image sequence is...