20059 search results - page 3699 / 4012 » The Satellite Data Model |
129
Voted
TCS
2008
15 years 1 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
102
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
This paper examines the problem of estimating linear time-invariant state-space system models. In particular it addresses the parametrization and numerical robustness concerns tha...
ISCI
2007
15 years 1 months ago
2007
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
124
click to vote
TIP
2008
15 years 1 months ago
2008
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
103
Voted
IVS
2007
15 years 1 months ago
2007
This paper presents a design framework for geographic visualization based on iterative evaluations of a toolkit designed to support cancer epidemiology. The Exploratory Spatio-Tem...