340 search results - page 5 / 68 » Automated error analysis for the agilization of feature mode... |
BELL
2000
13 years 8 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
ACL
2010
13 years 6 months ago
2010
We evaluate the effect of adding parse features to a leading model of preposition usage. Results show a significant improvement in the preposition selection task on native speaker...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
SPLC
2008
13 years 10 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— From the Bayesian Ying-Yang (BYY) harmony learning theory, a harmony function has been developed for finite mixtures with a novel property that its maximization can make model...