CSL 2004 - PDF Preprint Papers

CSL 2004 Workshop on Computer Science Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSL-2004 Paper

click to vote

CSL
2004
Springer

180views Automated Reasoning» more CSL 2004»

Contemporaneous text as side-information in statistical language modeling

14 years 8 days ago

Download www.clsp.jhu.edu

We propose new methods to exploit contemporaneous text, such as on-line news articles, to improve language models for automatic speech recognition and other natural language proce...

Sanjeev Khudanpur, Woosung Kim

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	180	Contemporaneous text as side-information in statistical language modeling	claim
2	167	Factor analysed hidden Markov models for speech recognition	claim
3	166	Arc minimization in finite-state decoding graphs with cross-word acoustic context	claim
4	156	The Boundary Between Decidability and Undecidability for Transitive-Closure Logics	claim
5	145	Automatic capitalisation generation for speech input	claim
6	138	Automated Generation of Analytic Calculi for Logics with Linearity	claim
7	136	Complete Lax Logical Relations for Cryptographic Lambda-Calculi	claim
8	134	Pfaffian Hybrid Systems	claim
9	130	Axioms for Delimited Continuations in the CPS Hierarchy	claim
10	128	Word sense disambiguation of WordNet glosses	claim
11	124	A Bounding Quantifier	claim
12	122	Parameterized Model Checking of Ring-Based Message Passing Systems	claim
13	121	Towards Mechanized Program Verification with Separation Logic	claim
14	119	Unsound Theorem Proving	claim
15	114	Fixed Points of Type Constructors and Primitive Recursion	claim
16	114	Abstract Interpretation of Proofs: Classical Propositional Calculus	claim
17	111	Unsupervised word sense disambiguation using WordNet relatives	claim
18	109	Subtyping Union Types	claim
19	105	Notions of Average-Case Complexity for Random 3-SAT	claim
20	105	Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity	claim
21	104	Game-Based Notions of Locality Over Finite Models	claim
22	102	Lexical knowledge and human disagreement on a WSD task	claim
23	101	Intuitionistic LTL and a New Characterization of Safety and Liveness	claim
24	101	A Dependent Type Theory with Names and Binding	claim
25	98	On Proof Nets for Multiplicative Linear Logic with Units	claim
26	98	A Functional Scenario for Bytecode Verification of Resource Bounds	claim
27	98	HyperLex: lexical cartography for information retrieval	claim
28	95	Proving Abstract Non-interference	claim
29	95	Moving in a Crumbling Network: The Balanced Case	claim
30	94	Set Constraints on Regular Terms	claim
31	94	Pronunciation change in conversational speech and its implications for automatic speech recognition	claim
32	92	Predicate Transformers and Linear Logic: Yet Another Denotational Model	claim
33	92	Mandarin-English Information (MEI): investigating translingual speech retrieval	claim
34	92	Introduction to the special issue on word sense disambiguation	claim
35	91	A mixed-level switching dynamic system for continuous speech recognition	claim
36	83	A Third-Order Bounded Arithmetic Theory for PSPACE	claim
37	75	Unsupervised and supervised exploitation of semantic domains in lexical disambiguation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers