804 search results - page 139 / 161 » On the Termination of the Chase Algorithm |
97
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
101
Voted
IJFCS
2008
14 years 10 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
77
Voted
JSAC
2006
14 years 10 months ago
2006
Abstract--This paper studies the performance of ultra-wideband (UWB) radio communications systems employing phase shift keying (PSK) modulation and fully saturated power amplifiers...
71
Voted
JUCS
2006
14 years 10 months ago
2006
: More than 60,000 people die suddenly each year in France due to cardiac arrhythmias. The current techniques used to diagnose cardiac arrhythmias such as HOLTER, R.TEST and teleme...
TCOM
2008
14 years 10 months ago
2008
The performance of multi-hop CSMA/CA networks has in most cases been evaluated via simulations, or analytically using a perfect collision channel model. Using such methods, one ca...