430 search results - page 77 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
ICDE
2007
IEEE
15 years 6 days ago
2007
IEEE
For location-based services it is often essential to efficiently process proximity relations among mobile objects, such as to establish whether a group of friends or family member...
ICCD
2006
IEEE
14 years 7 months ago
2006
IEEE
Circuit activity is a function of input patterns. When circuit activity changes abruptly, it can cause sudden drop or rise in power supply voltage. This change is known as power d...
CIKM
2009
Springer
14 years 5 months ago
2009
Springer
Tourist photographs constitute a large part of the images uploaded to photo sharing platforms. But filtering methods are needed before one can extract useful knowledge from noisy ...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...
APPROX
2008
Springer
14 years 26 days ago
2008
Springer
Let H be a graph, and let CH(G) be the number of (subgraph isomorphic) copies of H contained in a graph G. We investigate the fundamental problem of estimating CH(G). Previous res...