170 search results - page 22 / 34 » On computational properties of chains of recurrences |
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
83
Voted
PRDC
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper describes a novel compound Markov random field model capable of realistic modelling of multispectral bidirectional texture function, which is currently the most adva...
125
Voted
ISMB
1996
15 years 1 months ago
1996
This study demonstratesthe use of decision tree classifiers as the basis for a general gene-finding system. The system uses a dynamic programmingalgorithm that. finds the optimal ...
106
Voted
IOR
2010
14 years 10 months ago
2010
In many applications involving make-to-order or time-sensitive (e.g., perishable, seasonal) products, finished orders are often delivered to customers immediately or shortly after...