3038 search results - page 2 / 608 » Controlling Engineering Problem Solving |
SOCO
2008
Springer
13 years 5 months ago
2008
Springer
AIM
1999
13 years 5 months ago
1999
VMCAI
2009
Springer
14 years 3 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
GRC
2008
IEEE
13 years 6 months ago
2008
IEEE
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
STTT
2008
13 years 5 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...