2414 search results - page 347 / 483 » Computing Normal Subgroups |
ASM
2010
ASM
15 years 1 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper proposes a method for estimating extrinsic camera parameters using video images and position data acquired by GPS. In conventional methods, the accuracy of the...
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Depth-map merging is one typical technique category for multi-view stereo (MVS) reconstruction. To guarantee accuracy, existing algorithms usually require either sub-pixel level s...
100
click to vote
GPC
2009
Springer
15 years 1 months ago
2009
Springer
The emerging Grid is extending the scope of resources to mobile devices and sensors that are connected through unreliable networks. Nowadays the number of mobile device users is in...
67
Voted
CVPR
2010
IEEE
15 years 16 days ago
2010
IEEE
In this paper, we propose an approach to the problem of simultaneous shape and refractive index recovery from multispectral polarisation imagery captured from a single viewpoint. ...