124 search results - page 17 / 25 » Relational Parametricity and Units of Measure |
IGARSS
2010
13 years 7 months ago
2010
From 1999 to 2009, the SeaWinds scatterometer has been used to detect and track large Antarctic icebergs on a daily basis. Here, we develop an automated estimation algorithm to su...
ICML
1996
IEEE
14 years 10 months ago
1996
IEEE
Finding structure in multiple streams of data is an important problem. Consider the streams of data owing from a robot's sensors, the monitors in an intensive care unit, or p...
COMBINATORICA
2007
13 years 9 months ago
2007
The standard Erd˝os-Renyi model of random graphs begins with n isolated vertices, and at each round a random edge is added. Parametrizing n 2 rounds as one time unit, a phase tra...
SACI
2007
IEEE
14 years 4 months ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Images taken from scenes under water suffer distortion due to refraction. While refraction causes magnification with mild distortion on the observed images, severe distortions in...