Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
Abstract—We have developed an intuitive method to semi-automatically explore volumetric data in a focus-region-guided or valuedriven way using a user defined ray through the 3D ...
Insoo Woo, Ross Maciejewski, Kelly P. Gaither, Dav...
This paper presents a novel segmentation approach featuring shape constraints of multiple structures. A framework is developed combining statistical shape modeling with a maximum a...
Kilian M. Pohl, Simon K. Warfield, Ron Kikinis, W....
The success of the Semantic Web crucially depends on the existence of Web pages that provide machine-understandable meta-data. This meta-data is typically added in the semantic an...
Software evolution visualization is a promising technique for assessing the software development process. We study how complex correlations of software evolution attributes can be...