Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
As reconfigurable computing (RC) platforms are becoming increasingly large-scale and heterogeneous, efficiently scheduling and partitioning applications on these platforms is a gro...
Casey Reardon, Alan D. George, Greg Stitt, Herman ...
Large software companies have to plan their project portfolio to maximize potential portfolio return and strategic alignment, while balancing various preferences, and considering ...
Non-rigid shape matching is one of the most challenging fields in content-based 3D object retrieval. The aim of the SHREC 2010 - Shape Retrieval Contest of Non-rigid 3D Models is ...
Zhouhui Lian, Afzal Godil, Thomas Fabry, Takahiko ...
Abstract. We propose a novel method to detect human poses in videos by concurrently optimizing body part matching and object segmentation. With a single exemplar image, the propose...