CSL 2010 - PDF Preprint Papers

CSL 2010 Workshop on Computer Science Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSL-2010 Paper

click to vote

CSL
2010
Springer

278views Automated Reasoning» more CSL 2010»

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

14 years 16 days ago

Download logic.rwth-aachen.de

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...

Tobias Ganzow, Lukasz Kaiser

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	278	New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures	claim
2	238	Bayesian update of dialogue state: A POMDP framework for spoken dialogue systems	claim
3	201	Active learning and semi-supervised learning for speech recognition: A unified framework using the global entropy reduction maximization criterion	claim
4	194	Fibrational Induction Rules for Initial Algebras	claim
5	194	Complexity Results for Modal Dependence Logic	claim
6	191	A computational auditory scene analysis system for speech segregation and robust speech recognition	claim
7	185	Graded Computation Tree Logic with Binary Coding	claim
8	185	Voice activity detection based on statistical models and machine learning approaches	claim
9	182	Ordered Sets in the Calculus of Data Structures	claim
10	168	Improving supervised learning for meeting summarization using sampling and regression	claim
11	166	Monaural speech separation and recognition challenge	claim
12	165	Monaural speech separation based on MAXVQ and CASA for robust speech recognition	claim
13	163	Embedding Deduction Modulo into a Prover	claim
14	163	Evaluation of a hierarchical reinforcement learning spoken dialogue system	claim
15	162	Energy and Mean-Payoff Games with Imperfect Information	claim
16	162	Two-Variable Logic with Two Order Relations - (Extended Abstract)	claim
17	160	A Formalisation of the Normal Forms of Context-Free Grammars in HOL4	claim
18	158	Automata vs. Logics on Data Words	claim
19	156	The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case	claim
20	153	Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs	claim
21	152	The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management	claim
22	148	On the Computability of Region-Based Euclidean Logics	claim
23	145	Classical and Intuitionistic Subexponential Logics Are Equally Expressive	claim
24	141	Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries	claim
25	139	Randomisation and Derandomisation in Descriptive Complexity Theory	claim
26	138	On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT	claim
27	138	From Feasible Proofs to Feasible Computations	claim
28	129	Discriminative training of HMMs for automatic speech recognition: A survey	claim
29	128	Formal Theories for Linear Algebra	claim
30	127	Speech segmentation using regression fusion of boundary predictions	claim
31	123	Coq Modulo Theory	claim
32	121	A Sequent Calculus with Implicit Term Representation	claim
33	120	Towards a Canonical Classical Natural Deduction System	claim
34	120	Discriminative classifiers with adaptive kernels for noise robust speech recognition	claim
35	118	Efficient Enumeration for Conjunctive Queries over X-underbar Structures	claim
36	117	Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic	claim
37	117	Speech separation using speaker-adapted eigenvoice speech models	claim
38	112	Quantified Differential Dynamic Logic for Distributed Hybrid Systems	claim
39	111	Inductive-Inductive Definitions	claim
40	102	Exact Exploration and Hanging Algorithms	claim
41	97	Speech fragment decoding techniques for simultaneous speaker identification and speech recognition	claim
42	96	Morpho-syntactic post-processing of N-best lists for improved French automatic speech recognition	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers