Sciweavers

650 search results - page 109 / 130
» Towards automatic model synchronization from model transform...
Sort
View
ENTCS
2008
79views more  ENTCS 2008»
13 years 9 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
ICCV
2011
IEEE
12 years 9 months ago
Predicting Occupation via Human Clothing and Contexts
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
Zheng Song, Meng Wang, Xian-Sheng Hua, Shuicheng Y...
SCA
2007
13 years 11 months ago
Animation collage
We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation...
Christian Theobalt, Christian Rössl, Edilson ...
BIOINFORMATICS
2000
149views more  BIOINFORMATICS 2000»
13 years 8 months ago
MaxSub: an automated measure for the assessment of protein structure prediction quality
Motivation: Evaluating the accuracy of predicted models is critical for assessing structure prediction methods. Because this problem is not trivial, a large number of different as...
Naomi Siew, Arne Elofsson, Leszek Rychlewski, Dani...
ECML
2001
Springer
14 years 1 months ago
Learning of Variability for Invariant Statistical Pattern Recognition
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speci...
Daniel Keysers, Wolfgang Macherey, Jörg Dahme...