6155 search results - page 329 / 1231 » A language for multiple models of computation |
179
click to vote
JUCS
2002
15 years 6 months ago
2002
: When the words of a language are communicated via a noisy channel, the language property of error-detection ensures that no word of the language can be transformed to another wor...
164
click to vote
ICDT
1995
ACM
15 years 10 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
194
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
174
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
162
click to vote
ACL
2010
15 years 4 months ago
2010
In this paper, we present a novel approach for authorship attribution, the task of identifying the author of a document, using probabilistic context-free grammars. Our approach in...