3706 search results - page 1 / 742 » System Description: E-KRHyper |
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
CADE
2006
Springer
14 years 5 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
JAIR
2002
13 years 4 months ago
2002
FORTE
1996
13 years 6 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
ICIP
2005
IEEE
13 years 10 months ago
2005
IEEE
Multiple description video coding mitigates the effects of packet losses introduced by congestion and/or bit errors. In this paper, we propose a novel multiple description video c...