8874 search results - page 415 / 1775 » A New Implementation of Automath |
175
click to vote
PDPTA
2003
15 years 9 months ago
2003
The performance of the data memory hierarchy is extremely important in current and near future high performance superscalar microprocessors. To address the memory gap, computer de...
209
click to vote
BDA
2000
15 years 9 months ago
2000
Due to the popularity of the XML data format, several query languages for XML have been proposed, specially devised to handle data whose structure is unknown, loose, or absent. Wh...
200
click to vote
COLING
2000
15 years 9 months ago
2000
This paper proposes a new unsupervised learning method for obtaining English part-ofspecch(POS) disambiguation rules which would improve thc accuracy of a POS tagger. This method ...
223
click to vote
VMV
2003
15 years 9 months ago
2003
We present a new algorithm for the computation of volumetric intersections of geometrically complex objects, which can be used for the efficient detection of collisions. Our appr...
217
click to vote
FORTE
1998
15 years 9 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...