455 search results - page 43 / 91 » Understanding Counterexamples with explain |
99
Voted
KRMED
2008
15 years 18 days ago
2008
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
LREC
2008
15 years 18 days ago
2008
Patients require access to Electronic Patient Records, however medical language is often too difficult for patients to understand. Explaining records to patients is a time consumi...
103
click to vote
ACSW
2004
15 years 18 days ago
2004
Due to rapid development in the global market, workflow systems are not limited to a single country. Electronic business like workflows span across countries and hence there arise...
DAGSTUHL
2006
15 years 17 days ago
2006
-- During the last 20 years, complexity has been an interesting topic that has been investigated in many fields of science, such as biology, neurology, software engineering, chemis...
ECIS
2004
15 years 17 days ago
2004
Enterprise Resource Planning (ERP) packages have been widely adopted and it is becoming clear that this is driven by multiple rationales that may be simultaneously at odds and com...