Sciweavers

2754 search results - page 296 / 551
» Competitive recommendation systems
Sort
View
ISMIR
2005
Springer
175views Music» more  ISMIR 2005»
16 years 3 days ago
A Classification Approach to Melody Transcription
Melodies provide an important conceptual summarization of polyphonic audio. The extraction of melodic content has practical applications ranging from content-based audio retrieval...
Graham E. Poliner, Daniel P. W. Ellis
ASP
2001
Springer
15 years 11 months ago
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
Keijo Heljanko, Ilkka Niemelä
SCAI
2008
15 years 8 months ago
Troubleshooting when Action Costs are Dependent with Application to a Truck Engine
We propose a troubleshooting algorithm that can troubleshoot systems with dependent action costs. When actions are performed they may change the way the system is decomposed and af...
Håkan Warnquist, Mattias Nyberg, Petter S&au...
AIPS
2003
15 years 8 months ago
Learning Rules for Adaptive Planning
This paper presents a novel idea, which combines Planning, Machine Learning and Knowledge-Based techniques. It is concerned with the development of an adaptive planning system tha...
Dimitris Vrakas, Grigorios Tsoumakas, Nick Bassili...
AIPS
2009
15 years 7 months ago
Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning
Planning systems for real-world applications need the ability to handle concurrency and numeric fluents. Nevertheless, the predominant approach to cope with concurrency followed b...
Patrick Eyerich, Robert Mattmüller, Gabriele ...