10790 search results - page 320 / 2158 » Using feature models to automate model transformations |
175
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
168
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We propose a novel approach to modeling prosodic features. Inspired by Joint Factor Analysis model (JFA), our model is based on the same idea of introducing subspace of model para...
188
click to vote
TCAD
2008
15 years 6 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
191
click to vote
SIBGRAPI
2009
IEEE
16 years 1 months ago
2009
IEEE
Appearance information is essential for applications such as tracking and people recognition. One of the main problems of using appearance-based discriminative models is the ambig...
182
click to vote
MVA
1990
15 years 8 months ago
1990
An autonomous mobile robot must be able to combine uncertain sensory information with prior knowledge of the world. Moreover, these operations have to be performed fast enough for...