14897 search results - page 2777 / 2980 » Environment for statistical computing |
147
Voted
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper provides a method for recognizing 3D objects in a single camera image and for determining their 3D poses. A model is trained solely based on the geometry information of ...
127
Voted
CACM
2010
15 years 28 days ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
130
Voted
CACM
2010
15 years 28 days ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
151
Voted
CGF
2010
15 years 28 days ago
2010
Virtual humans are employed in many interactive applications using 3D virtual environments, including (serious) games. The motion of such virtual humans should look realistic (or ...
128
Voted
IJACTAICIT
2010
15 years 23 days ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...