5227 search results - page 374 / 1046 » Constructing New Media |
183
click to vote
ISSAC
2004
Springer
16 years 1 months ago
2004
Springer
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
199
click to vote
TCC
2004
Springer
16 years 1 months ago
2004
Springer
In a paper from EuroCrypt’99, Damg˚ard, Kilian and Salvail show various positive and negative results on constructing Bit Commitment (BC) and Oblivious Transfer (OT) from Unfair...
204
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
206
click to vote
ITC
2003
IEEE
16 years 29 days ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
214
click to vote
SIGIR
2003
ACM
16 years 28 days ago
2003
ACM
Thesaurus has been widely used in many applications, including information retrieval, natural language processing, and question answering. In this paper, we propose a novel approa...