1686 search results - page 115 / 338 » Higher Order Deforestation |
146
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
114
click to vote
COMPUTING
2007
15 years 4 months ago
2007
In this paper, we propose an approach to the computation of more accurate divided differences for the interpolation in the Newton form of the matrix exponential propagator ϕ(hA)v...
143
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...
169
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Cooperative spectrum sensing has been shown to greatly improve the sensing performance in cognitive radio networks. However, if the cognitive users belong to different service p...
124
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...