Sciweavers

1894 search results - page 284 / 379
» A service-oriented approach for integrating multiagent syste...
Sort
View
DAC
1998
ACM
15 years 11 months ago
A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects
As VLSI circuit speeds have increased, reliable chip and system design can no longer be performed without accurate threedimensional interconnect models. In this paper, we describe...
Nuno Alexandre Marques, Mattan Kamon, Jacob White,...
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
15 years 4 months ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
OGAI
1993
15 years 2 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
AAAI
2007
15 years 9 days ago
Fluxplayer: A Successful General Game Player
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
Stephan Schiffel, Michael Thielscher
DGO
2003
108views Education» more  DGO 2003»
14 years 11 months ago
The GovStat Statistical Interactive Glossary
The GovStat Statistical Interactive Glossary (SIG) is intended to allow users of federal statistical agency websites to look up meanings of statistical terms they encounter on the...
Ron T. Brown, Jesse Wilbur, Stephanie W. Haas, Mar...