804 search results - page 74 / 161 » On the Termination of the Chase Algorithm |
IRI
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
99
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, a new blind OFDM multicell detection method is proposed to determine the number of base stations in a cellular system. Using recent results of free deconvolution,...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Cooperative diversity obtains the spatial diversity gains created by sharing antennas of terminals in wireless networks. In this paper, adaptive amplify-and-forward (AF) cooper...
105
Voted
ERSHOV
1999
Springer
15 years 4 months ago
1999
Springer
We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that h...