804 search results - page 102 / 161 » On the Termination of the Chase Algorithm |
108
Voted
CORR
2004
Springer
15 years 15 days ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
77
Voted
CORR
2002
Springer
15 years 14 days ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
85
Voted
PRL
2007
15 years 4 days ago
2007
Several computer vision problems, like segmentation, tracking and shape modeling, are increasingly being solved using level set methodologies. But the critical issues of stability...
101
Voted
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the wide-sense stationary and uncorrelated scattering (WSSUS) assumption. For wireless channels, this assu...
100
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...