2414 search results - page 68 / 483 » Reasoning Support for OWL-E |
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
WCRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Aspect mining requires adequate tool support to locate source code elements implementing crosscutting concerns (aka seeds), to explore and understand relations describing these el...
SGAI
2007
Springer
14 years 4 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
SCAM
2002
IEEE
14 years 2 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
ESANN
2007
13 years 11 months ago
2007
We apply kernel-based machine learning methods to online learning situations, and look at the related requirement of reducing the complexity of the learnt classifier. Online meth...