Sciweavers

9888 search results - page 98 / 1978
» compute 2009
Sort
View
DLOG
2009
15 years 3 months ago
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
Francesco M. Donini, Simona Colucci, Tommaso Di No...
VLSID
2009
IEEE
148views VLSI» more  VLSID 2009»
16 years 6 months ago
DFX and Productivity
Robert C. Aitken
UC
2009
Springer
16 years 8 days ago
Abstract Geometrical Computation and Computable Analysis
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
Jérôme Durand-Lose