41 search results - page 8 / 9 » dl 2000 |
NGC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract--We describe fair layered increase/decrease with dynamic layering (FLID-DL): a new multirate congestion control algorithm for layered multicast sessions. FLID-DL generaliz...
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
CHI
2000
ACM
13 years 9 months ago
2000
ACM
As online groups grow in number and type, understanding lurking is becoming increasingly important. Recent reports indicate that lurkers make up over 90% of online groups, yet lit...
ERCIMDL
2000
Springer
13 years 9 months ago
2000
Springer
Most of today's digital libraries (DLs) are not designed for children. To produce usable and useful DLs, designers need to ensure that good design features are incorporated, t...
KR
2000
Springer
13 years 8 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...