Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
In this work we address the problem of computing pointbased surface approximations from point clouds. Our approach is based on recently presented methods that define the approxim...
Joao Paulo Gois, Eduardo Tejada, Tiago Etiene, Lui...
Choosing good features to represent objects can be crucial to the success of supervised machine learning algorithms. Good high-level features are those that concentrate informatio...
We propose to increment a statistical shape model with surrogate variables such as anatomical measurements and patient-related information, allowing conditioning the shape distribu...
We describe a new method to predict the tertiary structure of new-fold proteins. Our two-phase approach combines the knowledge-based fragmentpacking with the minimization of a phy...
Jinhui Ding, Elizabeth Eskow, Nelson L. Max, Silvi...