Sciweavers

89222 search results - page 92 / 17845
» Which
Sort
View
MICRO
1994
IEEE
124views Hardware» more  MICRO 1994»
15 years 10 months ago
A comparison of two pipeline organizations
We examine two pipeline structures which are employed in commercial microprocessors. The first is the load-use interlock (LUI) pipeline, which employs an interlock to ensure corre...
Michael Golden, Trevor N. Mudge
ECAI
1992
Springer
15 years 10 months ago
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
Nicholas R. Jennings
OGAI
1993
15 years 10 months ago
Combining Neural Networks and Fuzzy Controllers
Fuzzy controllers are designed to work with knowledge in the form of linguistic control rules. But the translation of these linguistic rules into the framework of fuzzy set theory ...
Detlef Nauck, Frank Klawonn, Rudolf Kruse
MFCS
1994
Springer
15 years 10 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
KR
1992
Springer
15 years 10 months ago
Quantifier Elimination in Second-Order Predicate Logic
An algorithm is presented which eliminates second
Dov M. Gabbay, Hans Jürgen Ohlbach