Sciweavers

5851 search results - page 129 / 1171
» Coordination as a Direct Process
Sort
View
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
15 years 8 months ago
Combinational Verification based on High-Level Functional Specifications
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
296
Voted
E4MAS
2006
Springer
15 years 8 months ago
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Lu...
ICML
2007
IEEE
16 years 5 months ago
Constructing basis functions from directed graphs for value function approximation
Basis functions derived from an undirected graph connecting nearby samples from a Markov decision process (MDP) have proven useful for approximating value functions. The success o...
Jeffrey Johns, Sridhar Mahadevan
112
Voted
KDD
1998
ACM
250views Data Mining» more  KDD 1998»
15 years 8 months ago
Data Mining for Direct Marketing: Problems and Solutions
Direct marketing is a process of identifying likely buyers of certain products and promoting the products accordingly. It is increasingly used by banks, insurance companies, and t...
Charles X. Ling, Chenghui Li
IJCAI
2007
15 years 6 months ago
Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning
TD-FALCON is a self-organizing neural network that incorporates Temporal Difference (TD) methods for reinforcement learning. Despite the advantages of fast and stable learning, TD...
Ah-Hwee Tan