Sciweavers

204 search results - page 7 / 41
» el 2006
Sort
View
96
Voted
CADE
2006
Springer
15 years 10 months ago
CEL - A Polynomial-Time Reasoner for Life Science Ontologies
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 ...
Franz Baader, Carsten Lutz, Boontawee Suntisrivara...
62
Voted
EURONGI
2006
Springer
15 years 1 months ago
ORCA - Towards an Organic Robotic Control Architecture
Florian Mösch, Marek Litza, Adam El Sayed Auf...
95
Voted
EI
2006
71views more  EI 2006»
14 years 10 months ago
DECOS: an integrated time-triggered architecture
Roman Obermaisser, Philipp Peti, Bernhard Huber, C...