875 search results - page 49 / 175 » Pattern based map comparisons |
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
VTS
1996
IEEE
14 years 1 months ago
1996
IEEE
This paper presents an innovative method for inserting test points in the circuit-under-test to obtain complete fault coverage for a specified set of test patterns. Rather than us...
CIMCA
2005
IEEE
14 years 3 months ago
2005
IEEE
The classification task is one of the most important problems in the area of data mining. In this paper we propose a new algorithm for addressing this problem. The main idea deriv...
CVPR
2006
IEEE
14 years 3 months ago
2006
IEEE
This work investigates the use of nonlinear dependencies in natural image sequence statistics to learn higher-order structures in natural videos. We propose a two-layer model that...
GIS
2004
ACM
14 years 10 months ago
2004
ACM
Recent growth of the geospatial information on the web has made it possible to easily access various maps and orthoimagery. By integrating these maps and imagery, we can create in...