375 search results - page 17 / 75 » Efficient large-scale model checking |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
66
Voted
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
3DPVT
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...