Sciweavers

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

Publication
351views
16 years 12 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
15 years 25 days 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
14 years 6 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
15 years 1 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
94
Voted
WWW
2006
ACM
16 years 10 days 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