970 search results - page 166 / 194 » case 2011 |
AAAI
2011
12 years 7 months ago
2011
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...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
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...
MCS
2011
Springer
12 years 10 months ago
2011
Springer
: 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...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
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 ...
AI
2011
Springer
13 years 2 months ago
2011
Springer
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...