2340 search results - page 58 / 468 » Second quarter 2008 |
DLOG
2008
15 years 2 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
WSC
2008
15 years 2 months ago
2008
There are two key issues in assuring the accuracy of estimates of performance obtained from a simulation model. The first is the removal of any initialisation bias, the second is ...
102
click to vote
ANTS
2008
Springer
15 years 1 months ago
2008
Springer
We present and analyze two algorithms for computing the Hilbert class polynomial HD. The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < ...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
102
click to vote
CEAS
2008
Springer
15 years 1 months ago
2008
Springer
This paper describes two innovative analysis methods for IPv4 address sets such as antispam blacklists. First, the contents analysis provides means of measuring key properties of ...