Path Dependent Analysis of Logic Programs

This paper presents an abstract semantics that uses information about execution paths to improve precision of data flow analyses of logic programs. The abstract semantics is illustrated by abstracting execution paths using call strings of fixed length and the last transfer of control. Abstract domains that have been developed for logic program analyses can be used with the new abstract semantics without modification.     

Context Switching in a Run-Time Reconfigurable System

A distinguishing feature of reconfigurable computing over rapid prototyping is its ability to configure the computational fabric on-line while an application is running. Conventional reconfigurable computing platforms utilize commodity FPGAs, which typically have relatively long configuration times. Shrinking the configuration time down to the nanosecond region opens possibilities for rapid context switching and virtualizing the computational resources. An experimental context-switching FPGA, called the CSRC, has been created by BAE Systems, and gives researchers the opportunity to explore context-switching applications. This paper presents results obtained from constructing both control-driven and data-driven context switching applications on the CSRC device, along with unique properties of the run-time and compile-time environment.     

交互技术在手写公式编辑中的应用

遵循泛化计算理论，设计实现了一个联机手写公式编辑系统，以提高识别率和交互(效)率．该系统采用上下文感知技术来辅助切分、解决符号的二义性；采用备选择优、直接指定技术来修正字符的识别结果；采用局部放大解决笔画交叉时的分割问题；最后还给出一个补笔算法．实验表明，这些技术的应用使得数学公式的识别率和系统交互(效)率得到有效的提高，同时使该系统具有自然、隐式交互的特点。     

基于小波形态学的文本自动检测

视频数据中的文本能提供重要的语义信息。论文针对视频中的文本分割问题,提出一种分割方法,用具有良好时频局部和变尺度特性的小波分析方法,提取出纹理清晰、具有不同空间分辨率、不同方向的边缘子图象,然后,用数学形态学的方法对提取出的细节图象进行进一步的形态运算,消除无用的信息,得到最终的文本目标区域。实验表明该方法简单有效,适合于背景较复杂的文本分割。     

基于上下文的多值图像无失真压缩

基于上下文的多值图像无失真压缩能获得较高的编码效率。图像编码应充分考虑图像的统计差异性。本文在基于上下文的多值图像无失真编码中结合自适应预测、误差信号非线性分类、误差映射、以及简化的上下文。通过试验，对比各种措施的效果，模拟结果显示，参数数量大量减少，编码效率却大大提高了。     

Extracting Hidden Context

Concept drift due to hidden changes in context complicates learning in many domains including financial prediction, medical diagnosis, and communication network performance. Existing machine learning approaches to this problem use an incremental learning, on-line paradigm. Batch, off-line learners tend to be ineffective in domains with hidden changes in context as they assume that the training set is homogeneous. An off-line, meta-learning approach for the identification of hidden context is presented. The new approach uses an existing batch learner and the process of contextual clustering to identify stable hidden contexts and the associated context specific, locally stable concepts. The approach is broadly applicable to the extraction of context reflected in time and spatial attributes. Several algorithms for the approach are presented and evaluated. A successful application of the approach to a complex flight simulator control task is also presented.     

专家系统中背景研究的意义

人工智能中不同领域的研究表明：新一代的智能辅助系统是与背景相关的。虽然人们普遍接受知识应有一个背景部件的观点，但在可用的知识表态方法及随后的知识处理中极少显式表达和利用背景知识。本文着眼于探讨 背景研究在专家系统开发中的意义，以期阐明：背景知识的显式识别、表达与利用有助于专家系统听知识获取、知识表示、推
推理、学习和解释，从而提高专家系统自适应能力和解决问题的智能性。     

论语境在翻译中的作用

语境理解是翻译成功的重要因素,在翻译操作中,我们必须认真理解英语语言语境中的语义语境、语法语境和非语言语境中文化语境、话语语境.     

话语重复功能新探

传统文体学和文本话语分析没有把话语重复放在动态的语境中来考察,随着心理学的发展和认知科学的兴起,话语生成的原因和意图得到更为科学合理的解释.基于重复是人类话语活动的普遍现象,本文试图以人为认知的主体,以语境为认知的本原,用动态的语境观从生理和人际关系方面来探讨话语重复的语用功能,推论话语重复是用来实现施为用意,达到交际者行为上的互动.     

如何在MFC中利用OpenGL实现三维图形的绘制

针对OpenGL强大的三维图形功能和Visual C 完善的基础类库，将二者结合起来，开发出基于Win32环境下的高品质的三维图形应用程序．文中介绍了作者在工程实践中利用MFC开发OpenGL三维图形功能的关键技术，提出了在MFC的框架下构造虚基类来实现MFC和OpenGL函数库之间的接口的方法．