653 search results - page 83 / 131 » Partial equilibrium logic |
164
click to vote
ELP
1991
15 years 7 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
123
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
133
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
133
Voted
ICDAR
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
127
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...