2041 search results - page 10 / 409 » Modelling Generic Judgements |
SMA
1997
ACM
15 years 1 months ago
1997
ACM
: Modeling of families of geometric objects is a major topic in modern geometric and solid modeling. Object families are central to many important solid modeling applications, incl...
PKDD
2009
Springer
15 years 4 months ago
2009
Springer
This article contributes a generic model of topic models. To define the problem space, general characteristics for this class of models are derived, which give rise to a represent...
75
Voted
BTW
2007
Springer
15 years 3 months ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
AC
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
75
Voted
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...