Sciweavers

47 search results - page 4 / 10
» Type-safe Linguistic Reflection
Sort
View

Publication
351views
15 years 7 months ago
Synthesizable High Level Hardware Descriptions
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
Jennifer Gillenwater, Gregory Malecha, Cherif Sala...
COLING
1992
13 years 8 months ago
Translation Ambiguity Resolution Based On Text Corpora Of Source And Target Languages
We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
Shinichi Doi, Kazunori Muraki
COLING
2010
13 years 2 months ago
HowNet and Its Computation of Meaning
The presentation will mainly cover (1) What is HowNet? HowNet is an on-line common-sense knowledgebase unveiling inter-conceptual relationships and interattribute relationships of...
Zhendong Dong, Qiang Dong, Changling Hao
AISC
2008
Springer
13 years 9 months ago
Unit Knowledge Management
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
Jonathan Stratford, James H. Davenport
WWW
2006
ACM
14 years 8 months ago
Constructing virtual documents for ontology matching
On the investigation of linguistic techniques used in ontology matching, we propose a new idea of virtual documents to pursue a cost-effective approach to linguistic matching in t...
Yuzhong Qu, Wei Hu, Gong Cheng