6527 search results - page 92 / 1306 » On Typing Information Flow |
CGF
2008
13 years 7 months ago
2008
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper proposes an hybrid approach to estimate the 3D pose of an object. The integration of texture information based on image intensities in a more classical non-linear edge-...
EH
2002
IEEE
14 years 21 days ago
2002
IEEE
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...