1716 search results - page 162 / 344 » Proving Conditional Termination |
125
Voted
ICASSP
2008
IEEE
15 years 9 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...
120
Voted
IPPS
2007
IEEE
15 years 8 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...
94
Voted
ASIAN
2007
Springer
15 years 8 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...
93
Voted
CSR
2007
Springer
15 years 8 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...
106
click to vote
LPAR
2007
Springer
15 years 8 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...