Now showing items 1-10 of 1435
Learning translation templates for closely related languages
(Springer, Berlin, Heidelberg, 2003)
Many researchers have worked on example-based machine translation and different techniques have been investigated in the area. In literature, a method of using translation templates learned from bilingual example pairs was ...
Theories and proofs in fault diagnosis
This paper illustrates how theories (contexts), fail branches, and the ability to control the construction of proofs in MetaProlog play an important role in the expression of the fault diagnosis problem. These facilities ...
An English-to-Turkish interlingual MT system
This paper describes the integration of a Turkish generation system with the KANT knowledge-based machine translation system to produce a prototype English-Turkish interlingua-based machine translation system. These two ...
An ontology-based approach to parsing Turkish sentences
The main problem with natural language analysis is the ambiguity found in various levels of linguistic information. Syntactic analysis with word senses is frequently not enough to resolve all ambiguities found in a sentence. ...
Joint source-channel coding and guessing
We consider the joint source-channel guessing problem, define measures of optimum performance, and give single-letter characterizations. As an application, sequential decoding is considered.
On correct program schemas
(Springer, Berlin, Heidelberg, 1998)
We present our work on the representation and correctness of program schemas, in the context of logic program synthesis. Whereas most researchers represent schemas purely syntactically as higher-order expressions, we shall ...
Involving fuzzy concepts in active mobile databases
Current needs of industry required the development of advanced database models like mobile databases, active databases, and fuzzy databases. Fuzzy concepts are adapted to the field of databases in order to deal with ...
Polyphase adaptive filter banks for subband decomposition
Subband decomposition is widely used in signal processing applications including image and speech compression. In most practical cases, the goal is to obtain subband signals that are suitable for data compression. In this ...
Correct-schema-guided synthesis of steadfast programs
It can be argued that for (semi-)automated software development, program schemas are indispensable, since they capture not only structured program design principles, but also domain knowledge, both of which are of crucial ...
Microwave applications of photonic band gap structures
We have investigated two major applications of photonic band gap materials. We demonstrated the guiding and bending of electromagnetic waves through planar waveguides built around layer-by-layer photonic crystals. We then ...