3319 search results - page 351 / 664 » Type Theoretical Databases |
121
click to vote
JCIT
2008
15 years 3 months ago
2008
In the recent decades the importance of the information systems (IS) has been steadily growing. Nowadays most of the operations that imply complex manipulations with data and stor...
145
Voted
JMLR
2008
15 years 3 months ago
2008
The support vector machine has been successful in a variety of applications. Also on the theoretical front, statistical properties of the support vector machine have been studied ...
162
Voted
ML
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian Decision Problems. As opposed to previous theoretical wo...
135
Voted
MST
2008
15 years 3 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
109
Voted
JUCS
2007
15 years 3 months ago
2007
Abstract: We present a new type of sat problem called the k-gd-sat, which generalizes k-sat and gd-sat. In k-gd-sat, clause lengths have geometric distribution, controlled by a pro...