Sciweavers

548 search results - page 79 / 110
» Complementary Optic Flow
Sort
View
ISPW
2006
IEEE
15 years 9 months ago
Workflows and Cooperative Processes
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
Jacky Estublier, Sergio Garcia
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
15 years 7 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...
JCM
2006
99views more  JCM 2006»
15 years 3 months ago
Distributed Admission Control in Multiservice IP Networks: Concurrency Issues
In distributed admission control (AC) schemes, handling concurrent AC decisions assumes a relevant role in avoiding over or false acceptance and, consequently, service quality degr...
Solange Rito Lima, Paulo Carvalho, Vasco Freitas
DASIP
2010
14 years 10 months ago
Automated generation of an efficient MPEG-4 Reconfigurable Video Coding decoder implementation
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
Ruirui Gu, Jonathan Piat, Mickaël Raulet, J&o...
CVPR
2006
IEEE
16 years 5 months ago
Robust Tracking and Stereo Matching under Variable Illumination
Illumination inconsistencies cause serious problems for classical computer vision applications such as tracking and stereo matching. We present a new approach to model illuminatio...
Jingdan Zhang, Leonard McMillan, Jingyi Yu