Sciweavers

637 search results - page 77 / 128
» A configurable reference modelling language
Sort
View
ICASSP
2011
IEEE
14 years 3 months ago
Gaussian Mixture Modeling of vowel durations for automated assessment of non-native speech
This paper investigates using Gaussian Mixture Model (GMM) based vowel duration features for automated assessment of non-native speech. Two different types of models were compared...
Xie Sun, Keelan Evanini
CHI
2005
ACM
15 years 1 months ago
Using an interaction model as a resource for communication in design
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...
Maíra Greco de Paula, Bruno Santana da Silv...
DAGSTUHL
2006
15 years 1 months ago
Rule-based Model Extraction from Source Code
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly...
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 2 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
EMSOFT
2009
Springer
15 years 6 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant