8676 search results - page 322 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
164
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
159
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This work investigates the use of missing data techniques for noise robust speaker identification. Most previous work in this field relies on the diagonal covariance assumption ...
145
click to vote
PCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we propose a new region-based image matching method to find the user defined regions in other images. We use color histogram and SAR (simultaneous autore...
143
Voted
APCCM
2007
15 years 8 months ago
2007
An input to the conceptual database design phase contains a description of the target database. This description is usually given in some natural language, for instance in English...
142
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel phoneme-based student model for spelling training. Our model is data driven, adapts to the user and provides information for, e.g., optimal word selection. We de...