Sciweavers

5754 search results - page 66 / 1151
» Multi-class Model M
Sort
View
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
15 years 10 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...
APAL
2008
104views more  APAL 2008»
15 years 4 months ago
Atomic models higher up
There exists a countable structure M of Scott rank CK 1 where M 1 = CK 1 and where the LCK 1 ,-theory of M is not -categorical. The Scott rank of a model is the least ordinal whe...
Jessica Millar, Gerald E. Sacks
FASE
2009
Springer
15 years 10 months ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
PAMI
2000
66views more  PAMI 2000»
15 years 3 months ago
A Statistical, Nonparametric Methodology for Document Degradation Model Validation
Tapas Kanungo, Robert M. Haralick, Henry S. Baird,...