4714 search results - page 629 / 943 » The Complexity of Iterated Multiplication |
220
click to vote
FMSD
2007
15 years 6 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
181
click to vote
TCOM
2008
15 years 6 months ago
2008
Multiple-input multiple-output (MIMO) system with multicode transmission can provide high speed data services by transmitting independent parallel substreams from multiple antennas...
215
click to vote
BMCBI
2005
15 years 6 months ago
2005
Motivation: In cluster analysis, the validity of specific solutions, algorithms, and procedures present significant challenges because there is no null hypothesis to test and no &...
197
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
This paper shows that the accuracy of learned text classifiers can be improved by augmenting a small number of labeled training documents with a large pool of unlabeled documents. ...
190
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of learning to rank relevant and novel documents so as to directly maximize a performance metric called Expected Global Utility (EGU), which has several de...