Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
Abstract: Fusion is a popular practice to combine multiple classifiers or multiple modalities in biometrics. In this paper, optimal decision fusion (ODF) by AND rule and OR rule i...
Qian Tao, Robin van Rootseler, Raymond N. J. Veldh...
D ABSTRACT) PAUL ZIMMERMANN We describe the implementation of the reciprocal square root -- also called inverse square root -- as a native function in the MPFR library. The difficu...