1716 search results - page 162 / 344 » Proving Conditional Termination |
102
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
The empirical mode decomposition (EMD) has seen widespread use for analysis of nonlinear and nonstationary time-series. Despite some practical success, it lacks a firm theoretica...
100
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignme...
ASIAN
2007
Springer
15 years 6 months ago
2007
Springer
Implementing global passive adversary attacks on currently deployed low latency anonymous networks is not feasible. This paper describes the implementation of a large scale, discre...
CSR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
91
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...