CSL 2006 - PDF Preprint Papers

CSL 2006 Workshop on Computer Science Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSL-2006 Paper

click to vote

CSL
2006
Springer

251views Automated Reasoning» more CSL 2006»

Combining language models in the input interface of a spoken dialogue system

13 years 4 months ago

Download www.ugr.es

Ramón López-Cózar, Zoraida Ca...

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	251	Combining language models in the input interface of a spoken dialogue system	claim
2	197	Automata and Logics for Words and Trees over an Infinite Alphabet	claim
3	171	Support vector machines for speaker and language recognition	claim
4	153	Collapsibility in Infinite-Domain Quantified Constraint Satisfaction	claim
5	148	Robust estimation, interpretation and assessment of likelihood ratios in forensic speaker recognition	claim
6	143	Separation Logic for Higher-Order Store	claim
7	143	A study in machine learning from imbalanced data for sentence boundary detection in speech	claim
8	142	Concurrent Games with Tail Objectives	claim
9	141	Application-independent evaluation of speaker detection	claim
10	136	Algorithms for data-driven ASR parameter quantization	claim
11	126	Adaptation of maximum entropy capitalizer: Little data can help a lot	claim
12	124	Decidable Theories of the Ordering of Natural Numbers with Unary Predicates	claim
13	123	Product of Gaussians for speech recognition	claim
14	122	Reasoning About States of Probabilistic Sequential Programs	claim
15	121	Acyclicity and Coherence in Multiplicative Exponential Linear Logic	claim
16	120	First-Order Queries over One Unary Function	claim
17	119	Church Synthesis Problem with Parameters	claim
18	119	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation	claim
19	115	Abstracting Allocation	claim
20	115	Game Quantification on Automatic Structures and Hierarchical Model Checking Games	claim
21	115	Nonmonotonic Logics and Their Algebraic Foundations	claim
22	115	Unsupervised grammar induction using history based approach	claim
23	114	The Power of Linear Functions	claim
24	114	Adaptation of children's speech with limited data based on formant-like peak alignment	claim
25	113	Logical Omniscience Via Proof Complexity	claim
26	113	On Rational Trees	claim
27	113	A linguistically motivated approach to grapheme-to-phoneme conversion for Korean	claim
28	113	Beyond ASR 1-best: Using word confusion networks in spoken language understanding	claim
29	108	Algorithms for Omega-Regular Games with Imperfect Information,	claim
30	106	Jump from Parallel to Sequential Proofs: Multiplicatives	claim
31	102	A Sequent Calculus for Type Theory	claim
32	101	Towards an Implicit Characterization of NCk	claim
33	101	A prosodic phrasing model for a Korean text-to-speech synthesis system	claim
34	100	Infinite State Model-Checking of Propositional Dynamic Logics	claim
35	99	Relating Two Standard Notions of Secrecy	claim
36	99	The architecture and the implementation of a finite state pronunciation lexicon for Turkish	claim
37	97	Solving Games Without Determinization	claim
38	96	Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic	claim
39	96	Using quality measures for multilevel speaker recognition	claim
40	95	Weak Bisimulation Approximants	claim
41	95	NIST and NFI-TNO evaluations of automatic speaker recognition	claim
42	94	Universality Results for Models in Locally Boolean Domains	claim
43	90	Hoare Logic in the Abstract	claim
44	77	Unlimited vocabulary speech recognition with morph language models applied to Finnish	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers