2496 search results - page 289 / 500 » Error-detecting properties of languages |
159
click to vote
JANCL
2007
15 years 6 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
180
click to vote
JUCS
2002
15 years 6 months ago
2002
: We consider disjunctive sequences, that is, infinite sequences (-words) having all finite words as infixes. It is shown that the set of all disjunctive sequences can be described...
192
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
135
click to vote
EMNLP
2010
15 years 4 months ago
2010
Part-of-speech (POS) tag distributions are known to exhibit sparsity -- a word is likely to take a single predominant tag in a corpus. Recent research has demonstrated that incorp...
204
click to vote
HCSE
2010
15 years 4 months ago
2010
While multimodal interfaces are becoming more and more used and supported, their development is still difficult and there is a lack of authoring tools for this purpose. The goal of...