5550 search results - page 141 / 1110 » Different Approaches to Proof Systems |
175
click to vote
ICCAD
2001
IEEE
16 years 3 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...
134
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to fix it in a short period of time, to avoid serious economical losse...
188
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
With the emergence of applications that require content-based similarity retrieval, techniques to support such a retrieval paradigm over database systems have emerged as a critica...
129
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
151
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...