Sciweavers

9507 search results - page 207 / 1902
» Time-based language models
Sort
View
PPSWR
2005
Springer
15 years 9 months ago
Logical Reconstruction of RDF and Ontology Languages
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
Jos de Bruijn, Enrico Franconi, Sergio Tessaris
CAV
2006
Springer
129views Hardware» more  CAV 2006»
15 years 7 months ago
Languages of Nested Trees
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
MODELS
2009
Springer
15 years 10 months ago
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
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, ...
COLING
2010
14 years 11 months ago
Enhancing Morphological Alignment for Translating Highly Inflected Languages
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
85
Voted
MODELS
2007
Springer
15 years 10 months ago
Model-Driven Construction of Certified Binaries
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Walln...