10289 search results - page 193 / 2058 » Standard bases in K |
160
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present the algorithm and architecture of a radix-10 floating-point divider based on an SRT nonrestoring digit-by-digit algorithm. The algorithm uses conventional...
157
click to vote
IGPL
2008
15 years 6 months ago
2008
We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basi...
148
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper describes an efficient method to extract large n-best lists from a word graph produced by a statistical machine translation system. The extraction is based on the k sh...
213
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We obtain new outer bounds on the capacity regions of the two-user multiple access channel with generalized feedback (MAC-GF) and the two-user interference channel with generalize...
153
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—In spite of the wide coverage of Internet and the need for Web systems to support various governmental tasks, the Brazilian state of Mato Grosso do Sul (Central West region) did...