124
click to vote
CSL
15 years 2 months ago
2008 Springer 
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
121
click to vote
CSL
15 years 1 months ago
2008 Springer 
: All speech produced by humans includes information about the speaker, including conveying the emotional state of the speaker. It is thus desirable to include vocal affect in any ...
140
click to vote
CSL
15 years 2 months ago
2008 Springer 
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
113
click to vote
CSL
15 years 1 months ago
2008 Springer 
Active learning (AL) is a framework that attempts to reduce the cost of annotating training material for statistical learning methods. While a lot of papers have been presented on...
108
click to vote
CSL
15 years 2 months ago
2008 Springer 
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
|
Automated Reasoning