713 search results - page 105 / 143 » Syntax and Semantics of Babel-17 |
DLOG
2009
13 years 6 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
ICDM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Breast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
WSC
2007
13 years 10 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...