Sciweavers

2736 search results - page 144 / 548
» Understanding programmer language
Sort
View
SCAM
2005
IEEE
15 years 10 months ago
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
Nerina Bermudo, Andreas Krall, R. Nigel Horspool
EPIA
1989
Springer
15 years 8 months ago
Semantic Analysis of Time and Tense in Natural Language: An Implementation
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
Nelma Moreira
AISC
2008
Springer
15 years 6 months ago
A Tactic Language for Hiproofs
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
David Aspinall, Ewen Denney, Christoph Lüth
IADIS
2008
15 years 6 months ago
A Natural Language Virtual Tutoring System
In this paper we present a natural language virtual tutoring system that has been developed to assist students during the learning process. For this purpose, we have used several ...
Eduardo M. Eisman, Víctor López, Jua...
ACL
1998
15 years 5 months ago
Proper Name Translation in Cross-Language Information Retrieval
Recently, language barrier becomes the major problem for people to search, retrieve, and understand WWW documents in different languages. This paper deals with query translation i...
Hsin-Hsi Chen, Sheng-Jie Huang, Yung-Wei Ding, Shi...