116
Voted
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...
114
Voted
CSL
15 years 17 days 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 ...
134
Voted
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...
108
click to vote
CSL
15 years 17 days 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...
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