375 search results - page 5 / 75 » Efficient large-scale model checking |
169
Voted
WAN
1998
Springer
15 years 7 months 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...
125
Voted
ACL
2010
15 years 1 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...
160
click to vote
CVPR
2003
IEEE
16 years 5 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...
188
click to vote
CVPR
2009
IEEE
16 years 11 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 ...
139
Voted
CVPR
2001
IEEE
16 years 5 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...