1361 search results - page 42 / 273 » Spaces of practice |
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
It is the concern of the author to arrange cogitations and experiences she gained by collaborating in relevant international project works, by conducting scientific studies regard...
RC
2006
13 years 9 months ago
2006
Hausdorff continuous (H-continuous) functions are special interval-valued functions which are commonly used in practice, e.g. histograms are such functions. However, in order to av...
TNN
2011
13 years 4 months ago
2011
—In some applications, the probability of error of a given classifier is too high for its practical application, but we are allowed to gather more independent test samples from ...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— Due to the abundant application background, the optimization of maintenance problem has been extensively studied in the past decades. Besides the well-known difficulty of larg...