Sciweavers

1625 search results - page 62 / 325
» Learning to Find Pre-Images
Sort
View
DAGSTUHL
2001
13 years 9 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino
ECIS
2000
13 years 9 months ago
ERP Systems: Facilitating or Confounding Factors in Corporate Telecommunications Mergers
: This paper presents preliminary findings of an research project in which the research partners, academics and a telecommunication labour union, are attempting to understand, lear...
Duane P. Truex, Ojelanki K. Ngwenyama
ML
2002
ACM
133views Machine Learning» more  ML 2002»
13 years 7 months ago
Finite-time Analysis of the Multiarmed Bandit Problem
Reinforcement learning policies face the exploration versus exploitation dilemma, i.e. the search for a balance between exploring the environment to find profitable actions while t...
Peter Auer, Nicolò Cesa-Bianchi, Paul Fisch...
JOCN
2010
80views more  JOCN 2010»
13 years 6 months ago
Corticosteroids Operate as a Switch between Memory Systems
■ Stress and corticosteroid hormones are known to affect learning and memory processes. In this study, we examined whether stress and corticosteroids are capable of facilitating...
Lars Schwabe, Hartmut Schächinger, E. Ron de ...
JCAL
2010
93views more  JCAL 2010»
13 years 2 months ago
The modality effect tested in children in a user-paced multimedia environment
Abstract The modality learning effect proposes that learning is enhanced when information is presented in both the visual and the auditory domains (e.g. pictures and spoken informa...
Marijt J. Witteman, Eliane Segers