5550 search results - page 1005 / 1110 » Different Approaches to Proof Systems |
201
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
227
click to vote
TVCG
2012
13 years 9 months ago
2012
—Depth camera such as Microsoft Kinect, is much cheaper than conventional 3D scanning devices, and thus it can be acquired for everyday users easily. However, the depth data capt...
190
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this study we propose an integrated approach to the problem of 3D pose estimation. The main difference to the majority of known methods is the usage of complementary image info...
186
click to vote
ACL
1992
15 years 7 months ago
1992
For a very long time, it has been considered that the only way of automatically extracting similar groups of words from a text collection for which no semantic information exists ...
170
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...