4035 search results - page 117 / 807 » Useless Actions Are Useful |
287
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
182
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
The analysis of human action captured in video sequences has been a topic of considerable interest in computer vision. Much of the previous work has focused on the problem of acti...
134
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
ActionShot is an integrated web browser tool that creates a fine-grained history of users’ browsing activities by continually recording their browsing actions at the level of in...
144
click to vote
ICTCS
2007
Springer
16 years 8 days ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
174
click to vote
TCSV
2008
15 years 6 months ago
2008
We present a compressed domain scheme that is able to recognize and localize actions in real-time1 . The recognition problem is posed as performing an action video query on a test ...