Sciweavers

4507 search results - page 394 / 902
» Generalized Binet dynamics
Sort
View
ICCD
1997
IEEE
78views Hardware» more  ICCD 1997»
15 years 11 months ago
Speeding up Variable Reordering of OBDDs
In this paper, we suggest a block-restricted sifting strategy which is based on the restriction of Rudell's sifting to certain blocks of variables. The application of this st...
Christoph Meinel, Anna Slobodová
SEAL
1998
Springer
15 years 11 months ago
Using Genetic Algorithms to Simulate the Evolution of an Oligopoly Game
Abstract. This paper extends the N-person IPD game into a more interesting game in economics, namely, the oligopoly game. Due to its market share dynamics, the oligopoly game is mo...
Shu-Heng Chen, Chih-Chi Ni
152
Voted
KI
1997
Springer
15 years 11 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
FOCS
1994
IEEE
15 years 11 months ago
Fast and Lean Self-Stabilizing Asynchronous Protocols
We consrder asynchronous general topology dynamic networks of identical nameless nodes wzth worst-case transient faults. Starting from any faulty configuration, our protocols self...
Gene Itkis, Leonid A. Levin
ICLP
1992
Springer
15 years 10 months ago
A Declarative View of Inheritance in Logic Programming
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
Michele Bugliesi