Sciweavers

71 search results - page 7 / 15
» A Robust Class of Context-Sensitive Languages
Sort
View
LICS
2009
IEEE
14 years 2 months ago
Expressiveness and Closure Properties for Quantitative Languages
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
CICLING
2009
Springer
14 years 8 months ago
Cross-Language Frame Semantics Transfer in Bilingual Corpora
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
Roberto Basili, Diego De Cao, Danilo Croce, Bonave...
PLDI
2009
ACM
14 years 2 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
FCT
2009
Springer
14 years 2 months ago
Equivalence of Deterministic Nested Word to Word Transducers
We study the equivalence problem of deterministic nested word to word transducers and show it to be suprisingly robust. Modulo polynomal time reductions, it can be identified with...
Slawomir Staworko, Grégoire Laurence, Aur&e...
ICASSP
2008
IEEE
14 years 1 months ago
Segmentation of a speech spectrogram using mathematical morphology
It has been shown that speech spectrograms can be read by trained experts. In this work, we regard the speech spectrogram image as a written text in some unknown language and perf...
Raphael Steinberg, Douglas D. O'Shaughnessy