11151 search results - page 410 / 2231 » On the Complexity of Model Expansion |
207
click to vote
AAAI
1996
15 years 9 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
181
Voted
COMPLEX
2009
Springer
16 years 2 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
218
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Analysis of complex samples with tandem mass spectrometry (MS/MS) has become routine in proteomic research. However, validation of database search results creates a bo...
198
click to vote
SPIN
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
185
click to vote
KES
2000
Springer
15 years 11 months ago
2000
Springer
In this article we consider the cerebellum in the vertebrate motor control system. Analyzing the delays in this control loop as well as the complexity of the dynamics of the skelet...