1330 search results - page 130 / 266 » No Classic Boundary Conditions |
169
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
132
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
171
click to vote
FSS
2008
15 years 6 months ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
164
click to vote
ISCI
2008
15 years 6 months ago
2008
As two classical measures, approximation accuracy and consistency degree can be employed to evaluate the decision performance of a decision table. However, these two measures cann...
179
click to vote
JUCS
2010
15 years 4 months ago
2010
: When considering the prediction of a structural class for a protein as a classification problem, usually a classifier is based on a feature vector x ∈ Rn , where the features...