3888 search results - page 437 / 778 » Change-Driven Model Transformations |
154
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we present a generative model and learning procedure for unsupervised video clustering into scenes. The work addresses two important problems: realistic modeling of ...
234
click to vote
ECCV
1998
Springer
16 years 8 months ago
1998
Springer
In this paper we present a method to derive 3D shape and surface texture of a human face from a single image. The method draws on a general flexible 3D face model which is "le...
174
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
167
Voted
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
206
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...