4555 search results - page 256 / 911 » Deductive Algorithmic Knowledge |
103
click to vote
FLAIRS
2004
15 years 4 months ago
2004
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
130
click to vote
DLOG
2003
15 years 4 months ago
2003
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers i...
101
click to vote
PRL
2006
15 years 3 months ago
2006
We present a maximum a posteriori solution to the problem of obtaining a high-resolution image from a set of degraded low-resolution images of the same scene. The proposed algorit...
139
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we present a new technique for monaural source separation in musical mixtures, which uses the knowledge of the musical score. This information is used to initialize ...
128
click to vote
DLOG
2001
15 years 4 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...