Sciweavers

7773 search results - page 470 / 1555
» On generalized Frame-Stewart numbers
Sort
View
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 10 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
IJCAI
2007
15 years 8 months ago
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control
We study auction-like algorithms for the distributed allocation of tasks to cooperating agents. To reduce the team cost of sequential single-item auction algorithms, we generalize...
Sven Koenig, Craig A. Tovey, Xiaoming Zheng, Ilgaz...
CGF
2008
111views more  CGF 2008»
15 years 7 months ago
An Analysis of the In-Out BRDF Factorization for View-Dependent Relighting
Interactive rendering with dynamic natural lighting and changing view is a long-standing goal in computer graphics. Recently, precomputation-based methods for all-frequency religh...
Dhruv Mahajan, Yu-Ting Tseng, Ravi Ramamoorthi
COGSCI
2006
75views more  COGSCI 2006»
15 years 7 months ago
A Hierarchical Bayesian Model of Human Decision-Making on an Optimal Stopping Problem
We consider human performance on an optimal stopping problem where people are presented with a list of numbers independently chosen from a uniform distribution. People are told ho...
Michael D. Lee
PAMI
2007
210views more  PAMI 2007»
15 years 6 months ago
Sharing Visual Features for Multiclass and Multiview Object Detection
We consider the problem of detecting a large number of different classes of objects in cluttered scenes. Traditional approaches require applying a battery of different classifier...
Antonio Torralba, Kevin P. Murphy, William T. Free...