Sciweavers

945 search results - page 59 / 189
» Working the Flow
Sort
View
ICRA
2005
IEEE
131views Robotics» more  ICRA 2005»
14 years 3 months ago
Optical Flow Calculation Using Data Fusion with Decentralized Information Filter
— This work presents a new approach to calculate the optical flow, which uses the decentralized information filter to accomplish a data fusion step. The proposal consists in ta...
Daniel Gamarra, Teodiano Freire Bastos Filho, M&aa...
IPPS
2005
IEEE
14 years 3 months ago
Control-Flow Independence Reuse via Dynamic Vectorization
Current processors exploit out-of-order execution and branch prediction to improve instruction level parallelism. When a branch prediction is wrong, processors flush the pipeline ...
Alex Pajuelo, Antonio González, Mateo Valer...
OZCHI
2005
ACM
14 years 3 months ago
Personalisation in intelligent environments: managing the information flow
This paper describes research into the personalised delivery of information about an intelligent environment. The challenges we need to address are the dual forms of the Invisibili...
Craig Chatfield, David J. Carmichael, René ...
VLSM
2005
Springer
14 years 3 months ago
A Study of Non-smooth Convex Flow Decomposition
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
Jing Yuan, Christoph Schnörr, Gabriele Steidl...
CCS
2004
ACM
14 years 3 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto