Sciweavers

6020 search results - page 299 / 1204
» A New Approach to Model Counting
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models
AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensi...
Radu Marinescu 0002, Rina Dechter
EWSA
2006
Springer
15 years 10 months ago
Introspective Model-Driven Development
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
Thomas Büchner, Florian Matthes
AIPS
2008
15 years 9 months ago
Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...
Cédric Pralet, Gérard Verfaillie
178
Voted
IJCAI
2003
15 years 8 months ago
Semi-Supervised Learning with Explicit Misclassification Modeling
This paper investigates a new approach for training discriminant classifiers when only a small set of labeled data is available together with a large set of unlabeled data. This a...
Massih-Reza Amini, Patrick Gallinari
ICASSP
2010
IEEE
15 years 6 months ago
Partial clustering using a time-varying frequency model for singing voice detection
We propose a new method to group partials produced by each instrument of a polyphonic audio mixture. This method works for pitched and harmonic instruments and is specially adapte...
Lise Regnier, Geoffroy Peeters