8874 search results - page 265 / 1775 » A New Implementation of Automath |
150
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provide...
176
click to vote
COMPCON
1995
IEEE
15 years 10 months ago
1995
IEEE
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
217
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper proposes a new method to design an optimal instruction set for pipelined ASIP development using a formal HW/SW codesign methodology. The codesign task addressed in this...
139
click to vote
ACL
2007
15 years 8 months ago
2007
In this paper we present several extensions of MARIE1 , a freely available N-gram-based statistical machine translation (SMT) decoder. The extensions mainly consist of the ability...
181
click to vote
NIPS
2008
15 years 8 months ago
2008
This paper presents a new spike feature extraction algorithm that targets real-time spike sorting and facilitates miniaturized microchip implementation. The proposed algorithm has...