Sciweavers

9264 search results - page 216 / 1853
» Space Between Languages
Sort
View
LICS
2007
IEEE
15 years 11 months ago
A Robust Class of Context-Sensitive Languages
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...
137
Voted
ENTCS
2007
144views more  ENTCS 2007»
15 years 5 months ago
Partial Order Reduction for Rewriting Semantics of Programming Languages
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
Azadeh Farzan, José Meseguer
USS
2010
15 years 2 months ago
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
Sarah Meiklejohn, C. Christopher Erway, Alptekin K...
LREC
2008
101views Education» more  LREC 2008»
15 years 6 months ago
Building a Golden Collection of Parallel Multi-Language Word Alignment
This paper reports an experience on producing manual word alignments over six different language pairs (all combinations between Portuguese, English, French and Spanish) (Grac
Joao Graça, Joana Paulo Pardal, Luís...
LREC
2008
74views Education» more  LREC 2008»
15 years 6 months ago
Building Bilingual Lexicons using Lexical Translation Probabilities via Pivot Languages
This paper proposes a method of increasing the size of a bilingual lexicon obtained from two other bilingual lexicons via a pivot language. When we apply this approach, there are ...
Takashi Tsunakawa, Naoaki Okazaki, Jun-ichi Tsujii