Automating the process of postmortem identification of deceased individuals based on dental characteristics is receiving increased attention. With the large number of victims enco...
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 ...