1544 search results - page 282 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
ICCBR
2009
Springer
15 years 6 months ago
2009
Springer
Case-based planning (CBP) systems are based on the idea of reusing past successful plans for solving new problems. Previous research has shown the ability of meta-reasoning approac...
TROB
2002
14 years 11 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
107
click to vote
LCTRTS
2005
Springer
15 years 5 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
105
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
116
click to vote
CIE
2008
Springer
15 years 1 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...