9145 search results - page 241 / 1829 » Description Logic Systems |
166
click to vote
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
Multiple Description (MD) source coding is a method to overcome unexpected information loss in a diversity system such as the internet, or a wireless network. While classic MD cod...
177
click to vote
ISMIR
2004
Springer
2004
Springer
Automatic Drum Sound Description for Real-World Music Using Template Adaptation and Matching Methods
15 years 12 months ago
This paper presents an automatic description system of drum sounds for real-world musical audio signals. Our system can represent onset times and names of drums by means of drum d...
171
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
We consider the problem of entity tagging: given one or more named entities from a specific domain, the goal is to automatically associate descriptive phrases, referred to as eta...
168
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
137
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...