12670 search results - page 382 / 2534 » Requirements Modeling |
204
click to vote
IDA
2006
Springer
15 years 6 months ago
2006
Springer
The analysis of microarray data from time-series experiments requires specialised algorithms, which take the temporal ordering of the data into account. In this paper we explore a ...
173
click to vote
JCC
2008
15 years 6 months ago
2008
: We introduce PULCHRA, a fast and robust method for the reconstruction of full-atom protein models starting from a reduced protein representation. The algorithm is particularly su...
130
click to vote
CSDA
2007
15 years 6 months ago
2007
A parametric, continuous-time Markov model for digraph panel data is considered. The parameter is estimated by the method of moments. A convenient method for estimating the varian...
157
click to vote
JUCS
2008
15 years 6 months ago
2008
: The European Regulator Group (ERG) defines Bitstream Access Service as a wholesale service offered by a broadband network operator with significant market power to an Internet Se...
223
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...