A desired capability of automatic problem solvers is that they can explain the results. Such explanations should justify that the solution proposed by the problem solver arises fr...
This paper is devoted to the identification of the unknown smooth coefficient c entering the hyperbolic equation c(x)2 t u-u = 0 in a bounded smooth domain in Rd from partial (on ...
Christian Daveau, Diane Manuel Douady, Abdessatar ...
A recommendation system tracks past actions of a group of users to make recommendations toindividualmembersofthe group. The growth ofcomputer-mediatedmarketingandcommerce has led ...
Ravi Kumar, Prabhakar Raghavan, Sridhar Rajagopala...
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
Abstract--Motivated by potential applications in second-language pedagogy, we present a novel approach to using articulatory information to improve automatic detection of typical p...