3457 search results - page 424 / 692 » A Symbol Is Not a Symbol |
158
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
204
click to vote
ECAIW
1994
Springer
15 years 11 months ago
1994
Springer
This paper describes the design and implementation of a layered agent architecture for decision support applications in general and for distributed medical care in particular. Thre...
169
Voted
HOA
1993
15 years 11 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
204
click to vote
ICCI
1993
15 years 11 months ago
1993
We propose a conceptually and technically neat method to identify known semantic patterns close to a novel pattern. This occurs in the context of a system to acquire knowledge inc...
198
click to vote
DCC
1992
IEEE
15 years 11 months ago
1992
IEEE
Text compression algorithms are normally defined in terms of a source alphabet of 8-bit ASCII codes. We consider choosing to be an alphabet whose symbols are the words of Englis...