Sciweavers

1440 search results - page 97 / 288
» Third-Party Flow Control
Sort
View
CSFW
2006
IEEE
15 years 10 months ago
Encoding Information Flow in Haskell
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
Peng Li, Steve Zdancewic
IROS
2006
IEEE
137views Robotics» more  IROS 2006»
15 years 10 months ago
A Robust Docking Strategy for a Mobile Robot using Flow Field Divergence
— We present a robust strategy for docking a mobile robot in close proximity with an upright surface using optical flow field divergence. Unlike previous approaches, we achieve...
Chris McCarthy, Nick Barnes
ISER
2004
Springer
108views Robotics» more  ISER 2004»
15 years 9 months ago
Comparison of Temporal Filters for Optical Flow Estimation in Continuous Mobile Robot Navigation
We present our complete study involving comparisons of three spatio-temporal used in the estimation of optical flow for continuous mobile robot navigation. Previous comparisons of...
Chris McCarthy, Nick Barnes
DATE
2008
IEEE
115views Hardware» more  DATE 2008»
15 years 11 months ago
Synthesizing Synchronous Elastic Flow Networks
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
Greg Hoover, Forrest Brewer
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 5 months ago
Quadratic Programming based data assimilation with passive drifting sensors for shallow water flows
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
Andrew Tinka, Issam S. Strub, Qingfang Wu, Alexand...