8874 search results - page 409 / 1775 » A New Implementation of Automath |
208
click to vote
FPGA
2000
ACM
15 years 11 months ago
2000
ACM
The Embedded System Block (ESB) of the APEX E programmable logic device family from Altera Corporation includes the capability of implementing content addressable memory (CAM) as ...
187
click to vote
HPCN
2000
Springer
15 years 11 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
185
click to vote
LPAR
2000
Springer
15 years 11 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
199
click to vote
SAIG
2000
Springer
15 years 11 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
228
click to vote
TABLEAUX
1995
Springer
15 years 11 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...