3082 search results - page 525 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
This work presents a new perspective on characterizing the similarity between elements of a database or, more generally, nodes of a weighted, undirected, graph. It is based on a M...
150
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
152
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
It has been argued that the frequency domain accuracy of high model-order estimates obtained on the basis of closed loop data is largely invariant to whether direct or indirect ap...
156
click to vote
TNN
2011
14 years 11 months ago
2011
—Reservoir computing (RC) refers to a new class of state-space models with a fixed state transition structure (the “reservoir”) and an adaptable readout form the state space...
168
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
The BioJournalMonitor is a decision support system for the analysis of trends and topics in the biomedical literature. Its main goal is to identify potential diagnostic and therap...