2963 search results - page 445 / 593 » On Fitting Mixture Models |
276
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
168
click to vote
FUIN
2010
15 years 3 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
164
click to vote
COMPSYSTECH
2010
15 years 2 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
160
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Music consists of both local and long-term temporal information. However, for a genre classification task, most of the text categorization based approaches only capture local temp...
179
click to vote
HUC
2011
Springer
14 years 5 months ago
2011
Springer
Sports exercises are beneficial for general health and fitness. Some exercises such as weight lifting are particularly errorprone and using incorrect techniques can result in seri...