Sciweavers

793 search results - page 106 / 159
» Argumentation and standards of proof
Sort
View
WINE
2010
Springer
174views Economy» more  WINE 2010»
13 years 8 months ago
Value of Learning in Sponsored Search Auctions
Abstract. The standard business model in the sponsored search marketplace is to sell click-throughs to the advertisers. This involves running an auction that allocates advertisemen...
Sai-Ming Li, Mohammad Mahdian, Randolph Preston Mc...
PKC
2010
Springer
150views Cryptology» more  PKC 2010»
14 years 2 months ago
Security of Encryption Schemes in Weakened Random Oracle Models
Liskov proposed several weakened versions of the random oracle model, called weakened random oracle models (WROMs), to capture the vulnerability of ideal compression functions, wh...
Akinori Kawachi, Akira Numayama, Keisuke Tanaka, K...
BMCBI
2005
73views more  BMCBI 2005»
13 years 11 months ago
An analysis of extensible modelling for functional genomics data
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
Andrew R. Jones, Norman W. Paton
POPL
2006
ACM
14 years 11 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
NIPS
2008
14 years 12 days ago
Optimization on a Budget: A Reinforcement Learning Approach
Many popular optimization algorithms, like the Levenberg-Marquardt algorithm (LMA), use heuristic-based "controllers" that modulate the behavior of the optimizer during ...
Paul Ruvolo, Ian R. Fasel, Javier R. Movellan