2255 search results - page 276 / 451 » Computing a Center-Transversal Line |
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
SCIA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The accuracy of data classification methods depends considerably on the data representation and on the selected features. In this work, the elastic net model selection i...
UCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes a probabilistic method of aligning and merging range images. We formulate these issues as problems of estimating the maximum likelihood. By examining the erro...