Sciweavers

CBSE
2006
Springer
14 years 2 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
CVPR
2006
IEEE
15 years 27 days ago
An Integrated Model of Top-Down and Bottom-Up Attention for Optimizing Detection Speed
Integration of goal-driven, top-down attention and image-driven, bottom-up attention is crucial for visual search. Yet, previous research has mostly focused on models that are pur...
Vidhya Navalpakkam, Laurent Itti