2152 search results - page 246 / 431 » On Automating the Calculus of Relations |
160
click to vote
CADE
2001
Springer
16 years 6 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...
151
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
The handling of user preferences is becoming an increasingly important issue in present-day information systems. Among others, preferences are used for information filtering and ex...
139
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
This work is motivated by the necessity to automate the discovery of structure in vast and evergrowing collection of relational data commonly represented as graphs, for example ge...
164
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
150
click to vote
DEXAW
2007
IEEE
16 years 24 days ago
2007
IEEE
If we try to increase the level of automation in Enterprise Application Integration (EAI) scenarios, we confront challenges related to the resolution of data heterogeneities, serv...