Sciweavers

4421 search results - page 441 / 885
» Libraries
Sort
View
EUC
2005
Springer
15 years 10 months ago
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems
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...
Jens Brandt, Klaus Schneider
EVOW
2005
Springer
15 years 10 months ago
A Performance Evaluation Framework for Nature Inspired Routing Algorithms
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...
Horst Wedde, Muddassar Farooq
ICCBR
2005
Springer
15 years 10 months ago
Knowledge Intensive Case Based Support for Automated Explanation of Biological Phenomena
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...
Waclaw Kusnierczyk, Agnar Aamodt, Astrid Læg...
ICFEM
2005
Springer
15 years 10 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
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...
Jens Brandt, Klaus Schneider
ICWL
2005
Springer
15 years 10 months ago
An Online Template-Based Authoring System for E-Learning
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...
Simon Hui, James Liu