1802 search results - page 140 / 361 » Complexity Theory for Operators in Analysis |
158
click to vote
PLDI
2006
ACM
16 years 10 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
199
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...
209
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
180
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper we present a novel approach to estimate and analyze 3D uid structure and motion of clouds from multi-spectrum 2D cloud image sequences. Accurate cloud-top structure ...
173
click to vote
QEST
2007
IEEE
16 years 20 days ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...