10289 search results - page 191 / 2058 » Standard bases in K |
139
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Wireless communications requires a new approach to implement the algorithms for new standards. The computational demands of these standards are outstripping the ability of traditi...
132
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
179
click to vote
ACL
2001
15 years 7 months ago
2001
This paper describes the application of the PARADISE evaluation framework to the corpus of 662 human-computer dialogues collected in the June 2000 Darpa Communicator data collecti...
137
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this short paper we present the state of advancement of the French ANR WebStand project. The objective of this project is to construct a customizable XML based warehouse platfo...
151
click to vote
VLSID
1994
IEEE
15 years 10 months ago
1994
IEEE
A CORDIC based processor array which can be programmed by switch settings to compute the Discrete Hariley, Cosine or Sine lhnsforms or their inverses is described. Through a novel...