1054 search results - page 75 / 211 » Abstract Regular Model Checking |
PRL
2007
13 years 8 months ago
2007
Abstract – In this paper we seek a Gaussian mixture model (GMM) of the classconditional densities for plug-in Bayes classification. We propose a method for setting the number of ...
IPMI
2005
Springer
14 years 9 months ago
2005
Springer
Abstract. Most of the approaches dedicated to fiber tracking from diffusionweighted MR data rely on a tensor model. However, the tensor model can only resolve a single fiber orient...
ISER
2004
Springer
14 years 2 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
LPNMR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
FMCAD
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...