Sciweavers

4810 search results - page 616 / 962
» Modeling Value Speculation
Sort
View
ATVA
2010
Springer
128views Hardware» more  ATVA 2010»
15 years 8 months ago
What's Decidable about Sequences?
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
Carlo A. Furia
CHI
2010
ACM
15 years 8 months ago
Critical gameplay: software studies in computer gameplay
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
Lindsay Grace
CISIS
2008
IEEE
15 years 8 months ago
Web Performance and Behavior Ontology
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
Carlos Guerrero, Carlos Juiz, Ramón Puigjan...
192
Voted
ICANN
2010
Springer
15 years 8 months ago
Using Reinforcement Learning to Guide the Development of Self-organised Feature Maps for Visual Orienting
We present a biologically inspired neural network model of visual orienting (using saccadic eye movements) in which targets are preferentially selected according to their reward va...
Kevin Brohan, Kevin N. Gurney, Piotr Dudek
GECCO
2008
Springer
104views Optimization» more  GECCO 2008»
15 years 8 months ago
Understanding elementary landscapes
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
Darrell Whitley, Andrew M. Sutton, Adele E. Howe