Sciweavers

14084 search results - page 241 / 2817
» A Theory for Game Theories
Sort
View
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
15 years 7 months ago
Accelerating convergence using rough sets theory for multi-objective optimization problems
We propose the use of rough sets theory to improve the first approximation provided by a multi-objective evolutionary algorithm and retain the nondominated solutions using a new ...
Luis V. Santana-Quintero, Carlos A. Coello Coello
AAMAS
2010
Springer
15 years 6 months ago
Modeling appraisal in theory of mind reasoning
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
Mei Si, Stacy C. Marsella, David V. Pynadath
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 6 months ago
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
James Brotherston, Cristiano Calcagno
BC
2006
63views more  BC 2006»
15 years 6 months ago
A Quantitative Theory of Neural Computation
We show how a general quantitative theory of neural computation can be used to explain two recent experimental findings in neuroscience. The first of these findings is that in hum...
Leslie G. Valiant
CORR
2006
Springer
131views Education» more  CORR 2006»
15 years 6 months ago
Intensional Models for the Theory of Types
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
Reinhard Muskens