2162 search results - page 271 / 433 » Automated Reasoning on Feature Models |
156
click to vote
EMNLP
2008
15 years 6 months ago
2008
Minimum Error Rate Training (MERT) is an effective means to estimate the feature function weights of a linear model such that an automated evaluation criterion for measuring syste...
169
click to vote
IJCAI
2007
15 years 6 months ago
2007
Given sensors to detect object use, commonsense priors of object usage in activities can reduce the need for labeled data in learning activity models. It is often useful, however,...
141
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
137
click to vote
FTCS
1998
15 years 6 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
139
click to vote
CORR
2011
Springer
14 years 12 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...