2421 search results - page 109 / 485 » Integrity Assurance Technique Using Determinant Approach |
115
click to vote
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...
128
Voted
CIBCB
2009
IEEE
15 years 1 months ago
2009
IEEE
Machine Learning techniques are successfully applied to establish quantitative relations between chemical structure and biological activity (QSAR), i.e. classify compounds as activ...
153
click to vote
JSC
2010
14 years 7 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
VIS
2008
IEEE
16 years 2 months ago
2008
IEEE
We present a novel approach for the direct computation of integral surfaces in general vector fields. As opposed to previous work, which we analyze in detail, our approach is based...
96
Voted
JAIR
2006
15 years 21 days ago
2006
The treatment of exogenous events in planning is practically important in many realworld domains where the preconditions of certain plan actions are affected by such events. In th...