5830 search results - page 976 / 1166 » Automatic link generation |
183
click to vote
3DPVT
2004
IEEE
15 years 10 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...
149
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
192
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
184
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
181
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...