1462 search results - page 274 / 293 » Autoepistemic Description Logics |
DOLAP
2006
ACM
15 years 1 months ago
2006
ACM
As more and more information is available on the web, it is a problem that many web resources are not accessible, i.e., are not usable for users with special needs. For example, f...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
102
click to vote
CIE
2008
Springer
14 years 12 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...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
BMCBI
2008
14 years 10 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...