7991 search results - page 1342 / 1599 » Using More Reasoning to Improve |
215
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
183
click to vote
MAAMAW
1993
Springer
15 years 10 months ago
1993
Springer
Autonomous agents working in multi-agent environments may need to cooperate in order to ful ll tasks. Given a set of agents and a set of tasks which they have to satisfy, we consi...
181
click to vote
SC
1992
ACM
15 years 10 months ago
1992
ACM
Exploiting parallelism at both the multiprocessor level and the instruction level is an e ective means for supercomputers to achieve high-performance. The amount of instruction-le...
137
click to vote
AIMSA
1990
Springer
15 years 10 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
175
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Recent developments in software and hardware changed the way database systems are built and operate. In this paper we present database architectures based on the Client Server par...