4502 search results - page 53 / 901 » Regular Model Checking |
CSDA
2011
13 years 5 months ago
2011
JMLR
2010
13 years 4 months ago
2010
JMLR
2010
13 years 4 months ago
2010
L1 (also referred to as the 1-norm or Lasso) penalty based formulations have been shown to be effective in problem domains when noisy features are present. However, the L1 penalty...
WABI
2007
Springer
14 years 4 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
ATVA
2008
Springer
13 years 12 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...