Sciweavers

43 search results - page 3 / 9
» Unit Completion for a Computer-aided Translation Typing Syst...
Sort
View
HICSS
2009
IEEE
96views Biometrics» more  HICSS 2009»
14 years 1 months ago
Interconnection in the GCC Grid: The Economics of Change
The Gulf Cooperation Council (GCC) is nearing the completion of a high voltage transmission system designed to integrate the power systems of Saudi Arabia, Kuwait, Bahrain, Qatar,...
Richard D. Tabors
ISD
1999
Springer
262views Database» more  ISD 1999»
13 years 11 months ago
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla...
JACM
2007
85views more  JACM 2007»
13 years 7 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
CC
2002
Springer
131views System Software» more  CC 2002»
13 years 6 months ago
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
COLING
1990
13 years 8 months ago
The BICORD System: Combining Lexical Information from Bilingual Corpora and Machine Readable Dictionaries
Our goal is to explore methods for combining structured but incomplete information from dictionaries with the unstructured but more complete information available in corpora for t...
Judith Klavans, Evelyne Tzoukermann