804 search results - page 74 / 161 » On the Termination of the Chase Algorithm |
149
click to vote
IRI
2009
IEEE
16 years 29 days 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...
168
click to vote
ESWS
2009
Springer
16 years 27 days 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...
144
click to vote
PIMRC
2008
IEEE
16 years 21 days 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,...
155
click to vote
VTC
2007
IEEE
16 years 18 days 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...
177
click to vote
ERSHOV
1999
Springer
15 years 10 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...