Searching for "FCLOS." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
H.J.: Hybrid scheduling for aggregated data delivery in wireless networks
- … algorithm h-FCLOS and in Section V we present the evaluation performance. Finally, Section VI, concludes our…
- Cited by 2 (2 self) – Add To MetaCart
-
Decidability of SHIQ with Complex Role Inclusion Axioms
- …(C) is the smallest set that contains C and that is closed under sub-concepts and ˙¬. Then fclos(C, R) is the superset…
- Cited by 37 (10 self) – Add To MetaCart
-
Mechanical Proof of the Optimality of a Partial Evaluator
- … = fclos; delay; nil; #tg S 1 = S 0 [ flam; @; fix; if; quote; cons; car; cdr; eq?; atom?; errorg S 2…
- Cited by 2 (0 self) – Add To MetaCart
-
The Irresistible SRIQ
- ….l.o.g. that no role assertions of the form Irr(R), Ref(R), Tra(R), or Sym(R) appear in Ra. We start by defining fclos…
- Cited by 8 (4 self) – Add To MetaCart
Showing 1 through 4.
