Sciweavers

5948 search results - page 324 / 1190
» Computing Robust Counter-Strategies
Sort
View
CIE
2007
Springer
15 years 10 months ago
From Logic to Physics: How the Meaning of Computation Changed over Time
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
Itamar Pitowsky
IPPS
2006
IEEE
15 years 10 months ago
Decentralized runtime analysis of multithreaded applications
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
SIGGRAPH
2010
ACM
15 years 9 months ago
Optimizing walking controllers for uncertain inputs and environments
We introduce methods for optimizing physics-based walking controllers for robustness to uncertainty. Many unknown factors, such as external forces, control torques, and user contr...
Jack M. Wang, David J. Fleet, Aaron Hertzmann
ACCV
2007
Springer
15 years 8 months ago
Sports Classification Using Cross-Ratio Histograms
The paper proposes a novel approach for classification of sports images based on the geometric information encoded in the image of a sport's field. The proposed approach uses ...
Balamanohar Paluri, S. Nalin Pradeep, Hitesh Shah,...
140
Voted
CHI
2011
ACM
14 years 8 months ago
Your noise is my command: sensing gestures using the body as an antenna
Touch sensing and computer vision have made humancomputer interaction possible in environments where keyboards, mice, or other handheld implements are not available or desirable. ...
Gabe Cohn, Daniel Morris, Shwetak N. Patel, Desney...