Sciweavers

11436 search results - page 298 / 2288
» Modeling Real Reasoning
Sort
View
WSC
2001
15 years 8 months ago
Resampling methods for input modeling
Stochastic simulation models are used to predict the behavior of real systems whose components have random variation. The simulation model generates artificial random quantities b...
Russell R. Barton, Lee Schruben
UM
2005
Springer
16 years 5 days ago
Data-Driven Refinement of a Probabilistic Model of User Affect
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
Cristina Conati, Heather Maclaren
ICANNGA
2009
Springer
141views Algorithms» more  ICANNGA 2009»
15 years 11 months ago
Connection Strategies in Associative Memory Models with Spiking and Non-spiking Neurons
The problem we address in this paper is that of finding effective and parsimonious patterns of connectivity in sparse associative memories. This problem must be addressed in real n...
Weiliang Chen, Reinoud Maex, Rod Adams, Volker Ste...
160
Voted
ENTCS
2007
86views more  ENTCS 2007»
15 years 6 months ago
On the Non-sequential Nature of Domain Models of Real-number Computation
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
Thomas Anberrée
LICS
1997
IEEE
15 years 10 months ago
Games and Definability for System F
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
Dominic J. D. Hughes