375 search results - page 5 / 75 » Efficient large-scale model checking |
WAN
1998
Springer
14 years 3 days ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
ACL
2010
13 years 6 months ago
2010
Conditional Random Fields (CRFs) are a widely-used approach for supervised sequence labelling, notably due to their ability to handle large description spaces and to integrate str...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
We are building a system that can automatically acquire 3D range scans and 2D images to build geometrically and photometrically correct 3D models of urban environments. A major bo...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a streaming framework for seamless building reconstruction from huge aerial LiDAR point sets. By storing data as stream files on hard disk and using main memory as only ...
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
In this paper, we present an efficient method to synthesize large-scale scenes, such as broad city landscapes. To date, model based approaches have mainly been adopted for this pu...