5622 search results - page 363 / 1125 » Solving architectural modelling problems using knowledge |
174
click to vote
MSV
2004
15 years 8 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
190
click to vote
ICMLA
2010
15 years 4 months ago
2010
Ordinal classification is a form of multi-class classification where there is an inherent ordering between the classes, but not a meaningful numeric difference between them. Althou...
159
Voted
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 10 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
137
Voted
WSC
2000
15 years 8 months ago
2000
We propose solving continuous parametric simulation optimizations using a deterministic nonlinear optimization algorithm and sample-path simulations. The optimization problem is w...
189
click to vote
HIS
2004
15 years 8 months ago
2004
Case-based reasoning (CBR) is a knowledge-based problem-solving technique, which is based on reuse of previous experiences. In this paper we propose a new model for static task as...