124 search results - page 25 / 25 » Automata can show PSpace results for description logics |
WWW
2008
ACM
14 years 6 months ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...
CASES
2004
ACM
13 years 10 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
ILP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
LCTRTS
2005
Springer
13 years 10 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...