Sciweavers

6293 search results - page 20 / 1259
» Information Flow Testing
Sort
View
IJCV
2006
192views more  IJCV 2006»
13 years 7 months ago
Piecewise-Smooth Dense Optical Flow via Level Sets
We propose a new algorithm for dense optical flow computation. Dense optical flow schemes are challenged by the presence of motion discontinuities. In state of the art optical flo...
Tomer Amiaz, Nahum Kiryati
TIM
2011
183views more  TIM 2011»
13 years 2 months ago
Calibration and Field Deployment of Low-Cost Fluid Flow-Rate Sensors Using a Wireless Network
—Low-cost networked fluid flow velocity sensors are needed for high-density sampling in environmental research and other applications requiring automated fluid flow velocity mapp...
C. K. Harnett, M. T. Schueler, N. R. Blumenthal, K...
CORR
2008
Springer
87views Education» more  CORR 2008»
13 years 7 months ago
An Integrated Circuit Compatible Compact Package for Thermal Gas Flowmeters
An original packaging method suitable for integrated thermal mass flow sensors is presented. The method consists in the application of a plastic transparent adapter to the chip su...
P. Bruschi, V. Nurra, M. Piotto
ACMSE
2006
ACM
14 years 1 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith
SFM
2010
Springer
202views Formal Methods» more  SFM 2010»
13 years 11 months ago
Information Theory and Security: Quantitative Information Flow
Pasquale Malacaria, Jonathan Heusser