3706 search results - page 1 / 742 » KtSeqC: System Description |
82
Voted
TABLEAUX
1999
Springer
15 years 5 months ago
1999
Springer
103
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
101
Voted
CADE
2006
Springer
16 years 1 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...
91
Voted
JAIR
2002
15 years 24 days ago
2002
152
Voted
ICIP
2005
IEEE
15 years 6 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...