375 search results - page 17 / 75 » Efficient large-scale model checking |
111
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
102
Voted
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
101
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
132
Voted
3DPVT
2004
IEEE
15 years 7 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...