Sciweavers

6047 search results - page 197 / 1210
» Modeling with Extend
Sort
View
JSYML
1998
41views more  JSYML 1998»
15 years 2 months ago
A Many Permutation Group Result for Unstable Theories
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
Mark D. Schlatter
FASE
2005
Springer
15 years 8 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
CVPR
2011
IEEE
14 years 11 months ago
2.5D Building Modeling with Topology Control
2.5D building reconstruction aims at creating building models composed of complex roofs and vertical walls. In this paper, we define 2.5D building topology as a set of roof featu...
Qian-Yi Zhou, Ulrich Neumann
ICMT
2011
Springer
14 years 6 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
ICML
2009
IEEE
16 years 3 months ago
Bayesian inference for Plackett-Luce ranking models
This paper gives an efficient Bayesian method for inferring the parameters of a PlackettLuce ranking model. Such models are parameterised distributions over rankings of a finite s...
John Guiver, Edward Snelson