745 search results - page 112 / 149 » The origins of combinatorics on words |
SOSYM
2010
14 years 8 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
TCS
2010
14 years 8 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
TCS
2010
14 years 8 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
EMNLP
2010
14 years 8 months ago
2010
For resource-limited language pairs, coverage of the test set by the parallel corpus is an important factor that affects translation quality in two respects: 1) out of vocabulary ...
93
Voted
ICCHP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...