3812 search results - page 646 / 763 » Combinations of TRAP Based Systems |
WADT
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
COSIT
1997
Springer
15 years 2 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
102
Voted
MICRO
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
CHI
1994
ACM
15 years 2 months ago
1994
ACM
We present three novel tools for creating data graphics: (1) SageBrush, for assembling graphics from primitive objects like bars, lines and axes, (2) SageBook, for browsing previo...
ICLP
1993
Springer
15 years 2 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...