Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
Performance evaluation of routing protocols is an important area of research that deals with the analysis and investigation of such protocols. A performance evaluation framework un...
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...