2119 search results - page 102 / 424 » Structure-Preserving Model Reduction |
110
click to vote
SPLC
2008
15 years 4 months ago
2008
Scalability is recognized as a key challenge in the automated analysis of Feature Models (FMs). Current solutions in this context mainly propose using different logic paradigms as...
121
click to vote
FUIN
2000
15 years 2 months ago
2000
The general stubborn set approach to CTL model checking 2] has the drawback that one either nds a stubborn set with only one enabled transition or one has to expand all enabled tra...
119
click to vote
NAACL
2010
15 years 26 days ago
2010
In this work, we try a hybrid methodology for language modeling where both morphological decomposition and factored language modeling (FLM) are exploited to deal with the complex ...
119
click to vote
JCIT
2007
15 years 2 months ago
2007
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
154
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...