517 search results - page 45 / 104 » On the Intended Interpretations of Actions |
108
Voted
TAP
2010
Springer
14 years 8 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
78
Voted
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
76
Voted
ACCV
2009
Springer
15 years 3 months ago
2009
Springer
Recently spatio-temporal local features have been proposed as image features to recognize events or human actions in videos. In this paper, we propose yet another local spatio-temp...
88
Voted
AAAI
2007
15 years 1 months ago
2007
Planning under uncertainty involves two distinct sources of uncertainty: uncertainty about the effects of actions and uncertainty about the current state of the world. The most wi...
ICWSM
2010
15 years 10 days ago
2010
Decades of research have explored factors that can influence green behavior. However, much less is known about the ways in which technology in general, and social technologies in ...