2152 search results - page 283 / 431 » On Automating the Calculus of Relations |
124
Voted
DLOG
2010
14 years 10 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
128
Voted
DLOG
2010
14 years 10 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
GIS
2010
ACM
14 years 10 months ago
2010
ACM
We consider the problem of automatically cleaning massive sonar data point clouds, that is, the problem of automatically removing noisy points that for example appear as a result ...
114
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
138
Voted
W4A
2010
ACM
14 years 10 months ago
2010
ACM
Supporting effective and enjoyable Web usage by people with sensory, motor and cognitive impairments requires more than just accessible Web content. There is an additional task of...