Sciweavers

4245 search results - page 197 / 849
» Input Modeling
Sort
View
PVLDB
2010
123views more  PVLDB 2010»
15 years 1 months ago
Output URL Bidding
Output URL bidding is a new bidding mechanism for sponsored search, where advertisers bid on search result URLs, as opposed to keywords in the input query. For example, an adverti...
Panagiotis Papadimitriou 0002, Hector Garcia-Molin...
3DIM
2011
IEEE
14 years 7 months ago
Visual Hull from Imprecise Polyhedral Scene
—We present a framework to compute the visual hull of a polyhedral scene, in which the vertices of the polyhedra are given with some imprecision. Two kinds of visual event surfac...
Peng He, Abbas Edalat
SIGSOFT
2003
ACM
16 years 8 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
COLT
2010
Springer
15 years 5 months ago
Learning to Create is as Hard as Learning to Appreciate
We explore the relationship between a natural notion of unsupervised learning studied by Kearns et al. (STOC '94), which we call here "learning to create" (LTC), an...
David Xiao
COCO
2009
Springer
126views Algorithms» more  COCO 2009»
16 years 1 months ago
New Results in the Simultaneous Message Passing Model via Information Theoretic Techniques
—Consider the following Simultaneous Message Passing (SMP) model for computing a relation f ⊆ X ×Y ×Z. In this model Alice, on input x ∈ X and Bob, on input y ∈ Y, send o...
Rahul Jain, Hartmut Klauck