2162 search results - page 55 / 433 » Automated Reasoning on Feature Models |
137
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
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...
120
Voted
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
144
click to vote
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
142
Voted
DLOG
2009
15 years 1 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
147
Voted
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...