Sciweavers

5084 search results - page 715 / 1017
» Proving Possibility Properties
Sort
View
INFOCOM
2011
IEEE
14 years 10 months ago
Delay-bounded adaptive UFH-based anti-jamming wireless communication
—Anti-jamming communication without pre-shared secrets has gained increasing research interest recently and is commonly tackled by utilizing the technique of uncoordinated freque...
Qian Wang, Ping Xu, Kui Ren, Xiang-yang Li
POPL
2011
ACM
14 years 9 months ago
Mathematizing C++ concurrency
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...
SIGECOM
2011
ACM
229views ECommerce» more  SIGECOM 2011»
14 years 9 months ago
A revealed preference approach to computational complexity in economics
Recent results in complexity theory suggest that various economic theories require agents to solve computationally intractable problems. However, such results assume the agents ar...
Federico Echenique, Daniel Golovin, Adam Wierman
ICCV
2011
IEEE
14 years 6 months ago
Predicting Occupation via Human Clothing and Contexts
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
Zheng Song, Meng Wang, Xian-Sheng Hua, Shuicheng Y...
3DIM
2011
IEEE
14 years 6 months ago
Space-Time Body Pose Estimation in Uncontrolled Environments
—We propose a data-driven, multi-view body pose estimation algorithm for video. It can operate in uncontrolled environments with loosely calibrated and low resolution cameras and...
Marcel Germann, Tiberiu Popa, Remo Ziegler, Richar...