608 search results - page 122 / 122 » Tests, Proofs and Refinements |
SIAMSC
2010
13 years 3 months ago
2010
In numerous applications of image processing, e.g. astronomical and medical imaging, data-noise is well-modeled by a Poisson distribution. This motivates the use of the negative-lo...
DLOG
2010
13 years 3 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
LPAR
2012
Springer
12 years 28 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...