Sciweavers

1322 search results - page 71 / 265
» Parameterized counting problems
Sort
View
110
Voted
ICFEM
2000
Springer
15 years 6 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
136
Voted
CVPR
2006
IEEE
16 years 4 months ago
Counting Crowded Moving Objects
In its full generality, motion analysis of crowded objects necessitates recognition and segmentation of each moving entity. The difficulty of these tasks increases considerably wi...
Vincent Rabaud, Serge Belongie
ICDE
2001
IEEE
128views Database» more  ICDE 2001»
16 years 4 months ago
Counting Twig Matches in a Tree
We describe efficient algorithms for accurately estimating the number of matches of a small node-labeled tree, i.e., a twig, in a large node-labeled tree, using a summary data str...
Zhiyuan Chen, H. V. Jagadish, Flip Korn, Nick Koud...
150
Voted
ICDCS
2010
IEEE
15 years 4 months ago
ASAP: Scalable Identification and Counting for Contactless RFID Systems
The growing importance of operations such as identification, location sensing and object tracking has led to increasing interests in contactless Radio Frequency Identification (RFI...
Chen Qian, Yunhuai Liu, Hoilun Ngan, Lionel M. Ni
112
Voted
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 2 months ago
Counting good truth assignments of random k-SAT formulae
We present a deterministic approximation algorithm to compute logarithm of the number of `good' truth assignments for a random k-satisfiability (k-SAT) formula in polynomial ...
Andrea Montanari, Devavrat Shah