8874 search results - page 208 / 1775 » A New Implementation of Automath |
135
click to vote
DLOG
2004
15 years 5 months ago
2004
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...
ACL
1998
15 years 5 months ago
1998
A log.ical recasting of B.inding Theory is performed as an enhancing step tor the purpose ot its gull and lean declarative implementation. A new insight on sentential anaptioric p...
103
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper we present the essential feature we have considered when designing a new language based on rules and strategies. Relying on the implementation of Tom, we explain how...
114
click to vote
TVLSI
2008
15 years 4 months ago
2008
Abstract--This paper presents a new set of techniques for hardware implementations of Secure Hash Algorithm (SHA) hash functions. These techniques consist mostly in operation resch...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces a new Harris-affine corner detector algorithm, that does not need parameters to locate corners in images, given an observation scale. Standard detectors req...