1096 search results - page 170 / 220 » A New Approach for Speeding Up Enumeration Algorithms |
101
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
112
click to vote
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
With the rapid growth of XML-document traffic on the Internet, scalable content-based dissemination of XML documents to a large, dynamic group of consumers has become an important...
103
click to vote
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
This work considers the problem of estimating the epipolar geometry between two cameras without needing a prespecified set of correspondences. It is capable of resolving the epipo...
133
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
The communities of a social network are sets of vertices with more connections inside the set than outside. We theoretically demonstrate that two commonly observed properties of s...
171
click to vote
VLDB
2008
ACM
16 years 1 days ago
2008
ACM
Several variations of nearest neighbor (NN) query have been investigated by the database community. However, realworld applications often result in the formulation of new variatio...