Sciweavers

Share
ECAI
2008
Springer
9 years 11 months ago
Advanced Preprocessing for Answer Set Solving
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 ...
Martin Gebser, Benjamin Kaufmann, André Neu...
ECAI
2008
Springer
9 years 11 months ago
Partial and Informative Common Subsumers in Description Logics
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
ECAI
2008
Springer
9 years 11 months ago
Multilingual Evidence Improves Clustering-based Taxonomy Extraction
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...
Hans Hjelm, Paul Buitelaar
ECAI
2008
Springer
9 years 11 months ago
Automatic Page Turning for Musicians via Real-Time Machine Listening
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 ...
Andreas Arzt, Gerhard Widmer, Simon Dixon
ECAI
2008
Springer
9 years 11 months ago
BIDFLOW: a New Graph-Based Bidding Language for Combinatorial Auctions
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...
Madalina Croitoru, Cornelius Croitoru, Paul H. Lew...
ECAI
2008
Springer
9 years 11 months ago
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
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...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
ECAI
2008
Springer
9 years 11 months ago
MTForest: Ensemble Decision Trees based on Multi-Task Learning
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...
Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo
ECAI
2008
Springer
9 years 11 months ago
Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents
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...
Peter Sutovskú, Gregory F. Cooper
ECAI
2008
Springer
9 years 11 months ago
Finding Key Bloggers, One Post At A Time
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...
Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
books