2385 search results - page 22 / 477 » Knowledge Refinement for a Design System |
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
IEAAIE
2004
Springer
14 years 29 days ago
2004
Springer
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
CHI
1997
ACM
13 years 11 months ago
1997
ACM
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
CF
2006
ACM
13 years 11 months ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...
MC
2001
13 years 9 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...