2496 search results - page 68 / 500 » Error-detecting properties of languages |
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
There are many common spreadsheet errors that traditional spreadsheet systems do not help users find. This paper presents a statically-typed spreadsheet language that adds additio...
LREC
2010
13 years 11 months ago
2010
In Natural Language Processing (NLP), the quality of a system depends to a great extent on the quality of the linguistic resources it uses. Due to the unpredictable character of v...
FORTE
2007
13 years 11 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
FCSC
2010
13 years 8 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...