5423 search results - page 106 / 1085 » Denial-of-service in automation systems |
180
click to vote
DLOG
1998
15 years 7 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
207
click to vote
ESSLLI
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
170
click to vote
DLOG
2008
15 years 8 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
157
click to vote
DLOG
2001
15 years 7 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
159
click to vote
APIN
2000
15 years 6 months ago
2000
In this article, we describe the OCR and image processingalgorithms used to read destination addresses from non-standard letters ( ats) by Siemens postal automation system currentl...