1888 search results - page 304 / 378 » Proof theory and computational analysis |
140
click to vote
3DPVT
2006
IEEE
15 years 12 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...
191
click to vote
SMI
2006
IEEE
15 years 11 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...
178
click to vote
RTSS
2005
IEEE
15 years 11 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...
134
click to vote
SCIA
2005
Springer
15 years 11 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...
176
click to vote
MOBICOM
2004
ACM
15 years 11 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...