Sciweavers

2098 search results - page 222 / 420
» Syntactic Topic Models
Sort
View
BSL
2004
100views more  BSL 2004»
13 years 10 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CSL
2000
Springer
13 years 10 months ago
ProSynth: an integrated prosodic approach to device-independent, natural-sounding speech synthesis
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...
Richard Ogden, Sarah Hawkins, Jill House, Mark Huc...
ENTCS
2002
92views more  ENTCS 2002»
13 years 10 months ago
PLCTools: Graph Transformation Meets PLC Design
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
Luciano Baresi, Marco Mauri, Mauro Pezzè
TCS
2008
13 years 9 months ago
Computation of distances for regular and context-free probabilistic languages
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syn...
Mark-Jan Nederhof, Giorgio Satta
JOLLI
2010
94views more  JOLLI 2010»
13 years 8 months ago
Querying Linguistic Trees
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
Catherine Lai, Steven Bird