Sciweavers

1113 search results - page 72 / 223
» Automated Approaches for Classifying Structures
Sort
View
ASP
2001
Springer
15 years 7 months ago
Additive Fluents
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
Joohyung Lee, Vladimir Lifschitz
115
Voted
CSL
2008
Springer
15 years 5 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
Wolfgang Thomas
139
Voted
ECML
2006
Springer
15 years 7 months ago
Margin-Based Active Learning for Structured Output Spaces
In many complex machine learning applications there is a need to learn multiple interdependent output variables, where knowledge of these interdependencies can be exploited to impr...
Dan Roth, Kevin Small
122
Voted
CHI
2003
ACM
16 years 3 months ago
Visualizing the affective structure of a text document
This paper introduces an approach for graphically visualizing the affective structure of a text document. A document is first affectively analyzed using a unique textual affect se...
Hugo Liu, Ted Selker, Henry Lieberman
ISMIR
2005
Springer
164views Music» more  ISMIR 2005»
15 years 9 months ago
Theory and Evaluation of a Bayesian Music Structure Extractor
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
Samer A. Abdallah, Katy Noland, Mark B. Sandler, M...