6608 search results - page 1320 / 1322 » On the Completeness of Model Checking |
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
We present a method for fusing two acquisition modes, 2D photographs and 3D LiDAR scans, for depth-layer decomposition of urban facades. The two modes have complementary character...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
ICC
2011
IEEE
12 years 7 months ago
2011
IEEE
—In this paper, we investigate the transmission completion time minimization problem in a two-user additive white Gaussian noise (AWGN) broadcast channel, where the transmitter i...
PODS
2012
ACM
11 years 9 months ago
2012
ACM
Database theory and database practice are typically the domain of computer scientists who adopt what may be termed an algorithmic perspective on their data. This perspective is ve...
CVPR
2012
IEEE
11 years 9 months ago
2012
IEEE
The automatic extraction and labeling of the rib centerlines is a useful yet challenging task in many clinical applications. In this paper, we propose a new approach integrating r...