A general game player is a system that understands the rules of an unknown game and learns to play this game well without human intervention. To succeed in this endeavor, systems need to be able to extract and prove game-specific knowledge from the mere game rules. We present a practical approach to this challenge with the help of Answer Set Programming. The key idea is to reduce the automated ...

The language Vector C is a superset of the conventional (scalar) programming language C with extensions to facilitate vector processing. In tbis paper, a methodology 'for performing language cJ:tensions and the language features of Vector C arc presented. The implementation of Vcctor C on the Cyber 205 is nearing completion. Some empirical data arc presented which demonstrate that Vector C can ...

We describe a named-entity tagging system that requires minimal linguistic knowledge and thus may be applied to new target languages without signiicant adaptation. To maintain a language-neutral posture, the system is linguistically na ve, and in fact, reduces the tagging problem to supervised machine learning. A large number of binary features are extracted from labeled data to train classiier...

We present formal operational semantics for the C programming language. Our starting point is the ANSI standard for C as described in [KR]. Knowledge of C is not necessary (though it may be helpful) for comprehension, since we explain all relevant aspects of C as we proceed. Our operational semantics is based on evolving algebras. An exposition on evolving algebras can be found in the tutorial ...

Overview This Getting Started tutorial demonstrates how to compile a simple digital signal processing (DSP) filter written in C into HDL, ready for FPGA synthesis. The goal of this application will be to generate a 16bit, 12-tap FIR filter as hardware in the form of either VHDL or Verilog. Although this is a relatively simple example in terms of the required lines of C code, it does illustrate ...

In recent years we have seen an increase in the complexity of embedded system design and in the difficulties of their verification. As a result, engineers have been trying to verify the specifications at a higher level of abstraction. In this paper we present an automated tool which is able to perform runtime verification of a program’s logical properties asserted by the programmer. The idea is...

The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner, is the most recent and expressive member of a family of knowledge representation formalisms for reasoning about action and change over time. However, frequently the reasoning proceeds very inefficiently, for large domains collapsing altogether; most often the reason for this is that in determining the truth of a fluent at...

D eveloped at the Ecole Polytechnique Fédérale of Lausanne, Switzerland, Synchronous C++ has strong connections to the domains of concurrency, behavior analysis, and OO programming. Namely, sC++ contains a real-time kernel, lends itself to analysis by modern modeling and analysis theories, 1-3 and uses the same syntax for active objects as for passive ones. Understanding the relationship of con...

The purpose of this paper is to start the dialog that must inevitably precede making a clear decision on the emerging issue of support for multiprocessor applications. This paper is meant to define the problem, its terms and current solutions and some of the possible alternatives. This paper is not proposing a specific C language solution to language support for multiprocessor systems. There ma...