5675 search results - page 426 / 1135 » Formalising Performative Interaction |
253
click to vote
NETWORKING
2011
14 years 10 months ago
2011
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
201
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
224
click to vote
HUC
2011
Springer
14 years 7 months ago
2011
Springer
Sports exercises are beneficial for general health and fitness. Some exercises such as weight lifting are particularly errorprone and using incorrect techniques can result in seri...
216
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Contemporary lifestyle has become increasingly sedentary: little physical (sports, exercises) and much sedentary (TV, computers) activity. The nature of sedentary activity is self...
210
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
Combining learning with vision techniques in interactive image retrieval has been an active research topic during the past few years. However, existing learning techniques either ...