8874 search results - page 69 / 1775 » A New Implementation of Automath |
124
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents a novel synthesis algorithm that reduces the area needed for implementing multiplexers on an FPGA by an average of 18%. This is achieved by reducing the number...
128
click to vote
WAE
2001
15 years 4 months ago
2001
Abstract. A new realization of a space-efficient deque is presented. The data structure is constructed from three singly resizable arrays, each of which is a blockwiseallocated pil...
110
Voted
RTDB
1997
15 years 4 months ago
1997
We present a new approach to implementing real-time transactions on memory-resident data on sharedmemory multiprocessors. This approach allows hard deadlines to be supported witho...
115
Voted
ACL
1990
15 years 4 months ago
1990
This paper describes a new hardware algorithm for morpheme extraction and its implementation on a specific machine (MEX-I), as the first step toward achieving natural language par...
131
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we propose two new support vector approaches for ordinal regression, which optimize multiple thresholds to define parallel discriminant hyperplanes for the ordinal ...