2834 search results - page 397 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
166
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper a fuzzy model based on Adaptive Neuro-Fuzzy Inference System (ANFIS) is introduced for calculating the level of risk in managerial problems. In this model, affecting ...
148
click to vote
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
137
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...
124
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
111
Voted
DAC
2000
ACM
16 years 5 months ago
2000
ACM
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...