ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
We present a system for taxonomy extraction, aimed at providing a taxonomic backbone in an ontology learning environment. We follow previous research in using hierarchical clusteri...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
We present a system that automatically turns the pages of the music score for musicians during a performance. It is based on a new algorithm for following an incoming audio stream ...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we introduce a new graph based bidding language for combinatorial auctions. In our language, each bidder submits to the arbitrator a generalized flow network (netbid...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Many ensemble methods, such as Bagging, Boosting, Random Forest, etc, have been proposed and widely used in real world applications. Some of them are better than others on noisefre...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. User generated content in general, and blogs in particular, form an interesting and relatively little explored domain for mining knowledge. We address the task of blog di...