Sciweavers

637 search results - page 77 / 128
» A configurable reference modelling language
Sort
View
ICASSP
2011
IEEE
13 years 15 days 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
13 years 10 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
13 years 10 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»
11 years 11 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
14 years 3 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