4103 search results - page 584 / 821 » Some results on the Collatz problem |
184
click to vote
BMVC
2010
2010
Recognizing human actions in still images: a study of bag-of-features and part-based representations
15 years 4 months ago
Recognition of human actions is usually addressed in the scope of video interpretation. Meanwhile, common human actions such as "reading a book", "playing a guitar&...
165
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...
189
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
196
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
The 3-D reconstruction of cardiac vasculature using C-arm CT is an active and challenging field of research. In interventional environments patients often do have arrhythmic heart ...
169
click to vote
HVEI
2009
15 years 4 months ago
2009
Both our visual and haptic systems contribute to the perception of the three dimensional world, especially the proximal perception of objects. The interaction of these systems has...