1888 search results - page 304 / 378 » Proof theory and computational analysis |
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
122
click to vote
SMI
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
100
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
SCIA
2005
Springer
15 years 5 months ago
2005
Springer
Estimation of inhomogeneous vectors is well-studied in estimation theory. For instance, given covariance matrices of input data allow to compute optimal estimates and characterize...
106
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
A newly deployed multi-hop radio network is unstructured and lacks a reliable and efficient communication scheme. In this paper, we take a step towards analyzing the problems exis...