804 search results - page 114 / 161 » On the Termination of the Chase Algorithm |
98
Voted
IGPL
1998
15 years 10 days ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
96
Voted
TSMC
1998
15 years 9 days ago
1998
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
73
Voted
TCS
2010
14 years 11 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
119
click to vote
WD
2010
14 years 10 months ago
2010
Gossip-based epidemic protocols are used to aggregate data in distributed systems. This fault-tolerant approach does neither require maintenance of any global network state nor kno...
115
click to vote
MP
2011
14 years 7 months ago
2011
We perform a smoothed analysis of Renegar’s condition number for linear programming by analyzing the distribution of the distance to ill-posedness of a linear program subject to...