8828 search results - page 1579 / 1766 » Formal methods in practice |
146
click to vote
TVCG
2012
13 years 6 months ago
2012
—Image population analysis is the class of statistical methods that plays a central role in understanding the development, evolution and disease of a population. However, these t...
147
click to vote
ACL
2012
13 years 6 months ago
2012
Stanford dependencies are widely used in natural language processing as a semanticallyoriented representation, commonly generated either by (i) converting the output of a constitu...
127
click to vote
AAAI
2012
2012
Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information
13 years 6 months ago
This paper reports on a mutual information (MI) based algorithm for automatic extrinsic calibration of a 3D laser scanner and optical camera system. By using MI as the registratio...
182
click to vote
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
175
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a system for fast model-based segmentation and 3D pose
estimation of specular objects using appearance based specular
features. We use observed (a) specular reflection...