520 search results - page 32 / 104 » Operator Calculus Approach to Solving Analytic Systems |
202
click to vote
PRL
2011
15 years 2 months ago
2011
Machine Learning based on the Regularized Least Square (RLS) model requires one to solve a system of linear equations. Direct-solution methods exhibit predictable complexity and s...
197
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
In a recent paper, we presented proactive resilience as a new approach to proactive recovery, based on architectural hybridization. We showed that, with appropriate assumptions ab...
182
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of configuring classifier trees in distributed stream mining system. The configuration involves selecting appropriate false-alarm detection tradeoffs for e...
158
click to vote
CAV
2003
Springer
16 years 9 days ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
193
Voted
TSMC
2008
15 years 7 months ago
2008
Testing complex manufacturing systems, such as an ASML [1] lithographic machine, takes up to 45% of the total development time of a system. The problem of which tests must be execu...