Search Sciweavers | Sciweavers

11324 search results - page 343 / 2265

» Coordination Models and Languages

164

click to vote

CAV
2006
Springer

129views Hardware» more CAV 2006»

Languages of Nested Trees

15 years 10 months ago

Download www.cis.upenn.edu

We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

claim paper

Read More »

138

click to vote

MODELS
2009
Springer

113views Natural Language Processing» more MODELS 2009»

On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set

16 years 1 months ago

Download modeling-languages.com

Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec

Fabian Büttner, Martin Gogolla, Lars Hamann, ...

claim paper

Read More »

140

click to vote

COLING
2010

103views Computational Linguistics» more COLING 2010»

Enhancing Morphological Alignment for Translating Highly Inflected Languages

15 years 1 months ago

Download www.aclweb.org

We propose an unsupervised approach utilizing only raw corpora to enhance morphological alignment involving highly inflected languages. Our method focuses on closed-class morpheme...

Minh-Thang Luong, Min-Yen Kan

claim paper

Read More »

113

click to vote

MODELS
2007
Springer

105views Natural Language Processing» more MODELS 2007»

Model-Driven Construction of Certified Binaries

16 years 28 days ago