4341 search results - page 261 / 869 » Quantitative Model checking |
117
Voted
BMCBI
2005
15 years 22 days ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
99
Voted
IVC
2007
15 years 23 days ago
2007
The suitability of polar representation for quantitative image processing tasks is investigated. The classical colour polar-based representations (HLS, HSV, etc.) lead to brightne...
92
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
105
Voted
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
99
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...