Search Sciweavers | Sciweavers

6527 search results - page 38 / 1306

» On Typing Information Flow

click to vote

CSFW
1999
IEEE

77views Security Privacy» more CSFW 1999»

What Is Intransitive Noninterference?

13 years 12 months ago

Download www.cs.cornell.edu

The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for information to ...

A. W. Roscoe, M. H. Goldsmith

claim paper

Read More »

click to vote

INFORMS
2006

56views more INFORMS 2006»

A Computational Study of Cost Reoptimization for Min-Cost Flow Problems

13 years 7 months ago

Download www.di.unipi.it

Antonio Frangioni, Antonio Manca

claim paper

Read More »

click to vote

INFORMS
2006

83views more INFORMS 2006»

Dynamic-Programming Approximations for Stochastic Time-Staged Integer Multicommodity-Flow Problems

13 years 7 months ago

Download www.castlelab.princeton.edu

Huseyin Topaloglu, Warren B. Powell

claim paper

Read More »

click to vote

IJCV
2000

195views more IJCV 2000»

Optical Flow Constraints on Deformable Models with Applications to Face Tracking

13 years 7 months ago

Download www.cs.rutgers.edu

Optical flow provides a constraint on the motion of a deformable model. We derive and solve a dynamic system incorporating flow as a hard constraint, producing a model-based least...

Douglas DeCarlo, Dimitris N. Metaxas

claim paper

Read More »

click to vote

TLDI
2009
ACM

100views Formal Methods» more TLDI 2009»

Typed transformations of typed abstract syntax

14 years 4 months ago

Download www.cs.uu.nl

Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...

Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...

claim paper

Read More »

« Prev « First page 38 / 1306 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers