1078 search results - page 97 / 216 » Local and Global Relational Consistency |
CADE
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
IDEAS
2002
IEEE
15 years 2 months ago
2002
IEEE
As the Internet is a global network, there is a demand on accessing closely related data without browsing through di erent Web documents. A signi cant amount of these data are pre...
AGENTLINK
2003
Springer
15 years 3 months ago
2003
Springer
Providing an integrated access to multiple heterogeneous sources is a challenging issue in global information systems for cooperation and interoperability. In the past, companies h...
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
Defining precisely the position of active regions obtained from functional neuroimaging studies is challenging due to the functional and anatomical variability across subjects. Tr...
MVA
1994
14 years 11 months ago
1994
A region-based matching approach is proposed for image correspondence of two images of the same scene but taken from different viewpoints. This approach consists of a matching sta...