Sciweavers

5227 search results - page 135 / 1046
» Constructing New Media
Sort
View
180
Voted
PKC
2010
Springer
177views Cryptology» more  PKC 2010»
15 years 11 months ago
More Constructions of Lossy and Correlation-Secure Trapdoor Functions
We propose new and improved instantiations of lossy trapdoor functions (Peikert and Waters, STOC ’08), and correlation-secure trapdoor functions (Rosen and Segev, TCC ’09). Ou...
David Mandell Freeman, Oded Goldreich, Eike Kiltz,...
ECAL
2005
Springer
16 years 15 days ago
How Niche Construction Can Guide Coevolution
Niche construction is the process whereby organisms, through their metabolism, activities, and choices, modify their own and/or each other’s niches. Our purpose is to clarify the...
Reiji Suzuki, Takaya Arita
206
Voted
KDD
2003
ACM
170views Data Mining» more  KDD 2003»
16 years 7 months ago
Efficient decision tree construction on streaming data
Decision tree construction is a well studied problem in data mining. Recently, there has been much interest in mining streaming data. Domingos and Hulten have presented a one-pass...
Ruoming Jin, Gagan Agrawal
188
Voted
CADE
2006
Springer
16 years 7 months ago
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
Robert L. Constable, Wojciech Moczydlowski
142
Voted
ICC
2007
IEEE
16 years 1 months ago
Novel Link Weight for Path Construction Based on Overall QoS Index
— A weight or cost is usually assigned to each link for consideration in path construction, and the delay and loss rate have been used as conventional link weights. However, when...
Yudai Nitta, Taro Hashimoto, Katsuyoshi Iida, Kats...