CSL
13 years 6 months ago
2010 Springer 
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
CSL
13 years 5 months ago
2010 Springer 
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
CSL
13 years 5 months ago
2010 Springer
We propose a unified global entropy reduction maximization (GERM) framework for active learning and semi-supervised learning for speech recognition. Active learning aims to select...
CSL
13 years 6 months ago
2010 Springer 
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
CSL
13 years 6 months ago
2010 Springer
Modal dependence logic was introduced very recently by V
|
Automated Reasoning