Sciweavers

6054 search results - page 372 / 1211
» Implementation of Andorra-based Languages
Sort
View
CD
2005
Springer
16 years 11 days ago
A Methodology for Developing and Deploying Distributed Applications
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
Graham N. C. Kirby, Scott M. Walker, Stuart J. Nor...
FSMNLP
2005
Springer
16 years 10 days ago
Parsing with Lexicalized Probabilistic Recursive Transition Networks
Abstract. We present a formalization of lexicalized Recursive Transition Networks which we call Automaton-Based Generative Dependency Grammar (gdg). We show how to extract a gdg fr...
Alexis Nasr, Owen Rambow
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
16 years 10 days ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
IJCNLP
2005
Springer
16 years 10 days ago
A Rule Based Syllabification Algorithm for Sinhala
This paper presents a study of Sinhala syllable structure and an algorithm for identifying syllables in Sinhala words. After a thorough study of the Syllable structure and linguis...
Ruvan Weerasinghe, Asanka Wasala, Kumudu Gamage
177
Voted
TLCA
2005
Springer
16 years 9 days ago
Proof Contexts with Late Binding
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
Virgile Prevosto, Sylvain Boulmé