Sciweavers

2496 search results - page 76 / 500
» Error-detecting properties of languages
Sort
View
IFL
2003
Springer
14 years 3 months ago
Correctness of Non-determinism Analyses in a Parallel-Functional Language
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
Clara Segura, Ricardo Pena
STACS
1991
Springer
14 years 1 months ago
On Aperiodic Trace Languages
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
Giovanna Guaiana, Antonio Restivo, Sergio Salemi
NAACL
2007
13 years 11 months ago
A Random Text Model for the Generation of Statistical Language Invariants
A novel random text generation model is introduced. Unlike in previous random text models, that mainly aim at producing a Zipfian distribution of word frequencies, our model also ...
Chris Biemann
ENGL
2007
144views more  ENGL 2007»
13 years 10 months ago
Constructive Analysis of Intensional Phenomena in Natural Language
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...
Rogelio Davila, Leonardo Soto, Nahitt H. Padilla
CSFW
2005
IEEE
14 years 3 months ago
Language-Based Information Erasure
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
Stephen Chong, Andrew C. Myers