Sciweavers

4544 search results - page 615 / 909
» Reinforcement Learning with Time
Sort
View
CORR
2010
Springer
65views Education» more  CORR 2010»
15 years 6 months ago
Efficient Computation of Optimal Trading Strategies
Given the return series for a set of instruments, a trading strategy is a switching function that transfers wealth from one instrument to another at specified times. We present ef...
Victor Boyarshinov, Malik Magdon-Ismail
ENTCS
2008
125views more  ENTCS 2008»
15 years 6 months ago
Can Refinement be Automated?
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
Peter Höfner, Georg Struth
164
Voted
COMPUTER
2006
105views more  COMPUTER 2006»
15 years 6 months ago
Good Ideas, through the Looking Glass
An entire potpourri of ideas is listed from the past decades of Computer Science and Computer Technology. Widely acclaimed at their time, many have lost in splendor and brilliance...
Niklaus Wirth
IJMI
2006
73views more  IJMI 2006»
15 years 6 months ago
Six methodological steps to build medical data warehouses for research
In this paper we describe a methodology that emerged during a healthcare project, which consisted among others in grouping information from heterogeneous and distributed informati...
Nicolae B. Szirbik, C. Pelletier, Thierry J. Chaus...
TKDE
2008
152views more  TKDE 2008»
15 years 6 months ago
SRDA: An Efficient Algorithm for Large-Scale Discriminant Analysis
Linear Discriminant Analysis (LDA) has been a popular method for extracting features that preserves class separability. The projection functions of LDA are commonly obtained by max...
Deng Cai, Xiaofei He, Jiawei Han