6047 search results - page 466 / 1210 » Modeling with Extend |
186
click to vote
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
184
click to vote
ICCV
1999
IEEE
16 years 9 months ago
1999
IEEE
In this contribution we focus on the calibration of very long image sequences from a hand-held camera that samples the viewing sphere of a scene. View sphere sampling is important...
372
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
This paper presents an automatic algorithm which reconstructs building models from airborne LiDAR (light detection and ranging) data of urban areas. While our algorithm inherits t...
211
click to vote
GMP
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. We present an efficient and robust algorithm for computing continuous visibility for two- or three-dimensional shapes whose boundaries are NURBS curves or surfaces by li...
192
click to vote
HICSS
2003
IEEE
16 years 18 days ago
2003
IEEE
This paper describes a novel approach using Hidden Markov Models (HMM) to detect complex Internet attacks. These attacks consist of several steps that may occur over an extended pe...