Sciweavers

3634 search results - page 23 / 727
» The Field Representation Language
Sort
View
TIC
2000
Springer
110views System Software» more  TIC 2000»
13 years 11 months ago
Program Representation Size in an Intermediate Language with Intersection and Union Types
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
AAAI
1990
13 years 8 months ago
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...
Franz Baader
EMNLP
2010
13 years 5 months ago
A Hybrid Morpheme-Word Representation for Machine Translation of Morphologically Rich Languages
We propose a language-independent approach for improving statistical machine translation for morphologically rich languages using a hybrid morpheme-word representation where the b...
Minh-Thang Luong, Preslav Nakov, Min-Yen Kan
ITCC
2003
IEEE
14 years 19 days ago
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML
A multimedia server needs to satisfy the temporal ordering of multimedia data streams when servicing a client. Multimedia data has high bandwidth requirements, and within a networ...
Soon Myoung Chung, Anil L. Pereira
EKAW
2004
Springer
14 years 23 days ago
On the Foundations of UML as an Ontology Representation Language
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre