Sciweavers

2214 search results - page 240 / 443
» Complexity of Reasoning
Sort
View
WSC
2004
15 years 5 months ago
Knowledge Representation for Conceptual Simulation Modeling
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
Ming Zhou, Young Jun Son, Zhimin Chen
AAAI
1998
15 years 5 months ago
A Non-Deterministic Semantics for Tractable Inference
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
James M. Crawford, David W. Etherington
ESANN
2000
15 years 5 months ago
SpikeProp: backpropagation for networks of spiking neurons
Abstract. For a network of spiking neurons with reasonable postsynaptic potentials, we derive a supervised learning rule akin to traditional error-back-propagation, SpikeProp and s...
Sander M. Bohte, Joost N. Kok, Johannes A. La Pout...
123
Voted
AAAI
1996
15 years 5 months ago
A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results
In this paper we present a model for coalition formation and payo distribution in general environments. We focus on a reduced complexity kernel-oriented coalition formation model,...
Onn Shehory, Sarit Kraus
AIPS
1994
15 years 5 months ago
Planning for Dynamic Configuration of Component-based Architectures
The Scenario-based Engineering Process (SEP)is a novel approachto developingcomplexsystems.SEPbuilds newapplication systemsthrougha selectionprocessthat groupsprimitive components...
Gail Haddock