Sciweavers

970 search results - page 166 / 194
» cases 2011
Sort
View
86
Voted
AAAI
2011
13 years 9 months ago
On Expressing Value Externalities in Position Auctions
Externalities are recognized to exist in the sponsored search market, where two co-located ads compete for user attention. Existing work focuses on the effect of another ad on th...
Florin Constantin, Malvika Rao, Chien-Chung Huang,...
126
Voted
PLDI
2011
ACM
14 years 9 days ago
Finding and understanding bugs in C compilers
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
MCS
2011
Springer
14 years 10 days ago
Investigating other leading indicators influencing Australian domestic tourism demand
: In the tourism demand literature, much of the research focuses on income and price variables as demand determinants for travel. Nevertheless, the literature has neglected other p...
Ghialy Yap, David Allen
CVPR
2011
IEEE
14 years 4 months ago
Intrinsic Dense 3D Surface Tracking
This paper presents a novel intrinsic 3D surface distance and its use in a complete probabilistic tracking framework for dynamic 3D data. Registering two frames of a deforming 3D ...
Yun Zeng, Chaohui Wang, Yang Wang, David Gu, Dimit...
AI
2011
Springer
14 years 4 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...