1325 search results - page 154 / 265 » The Incidence Propagation Method |
CADE
2009
Springer
14 years 9 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...
ICSE
2003
IEEE-ACM
14 years 9 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...
CVPR
2010
IEEE
14 years 5 months 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...
ICASSP
2009
IEEE
14 years 3 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 ...
ISVC
2009
Springer
14 years 3 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...