3069 search results - page 143 / 614 » Thinking about Technology |
143
click to vote
SEMWEB
2009
Springer
16 years 24 days ago
2009
Springer
With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss th...
154
click to vote
WISE
2000
Springer
15 years 10 months ago
2000
Springer
A closed form of autocorrelation functions about asymptotically self-similar processes is presented. The verification shows that this form best the realtrajfic data on Ethernet in...
135
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
132
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
Store-and-forward MTA relaying servers have frequently presented problems to various antispam techniques, such as IPbased reputation or email authentication. Algorithms that find ...
167
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...