4100 search results - page 147 / 820 » General Linear Cameras |
213
click to vote
WRLA
2010
15 years 2 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
156
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In the classic multi-armed bandits problem, the goal is to have a policy for dynamically operating arms that each yield stochastic rewards with unknown means. The key metric of int...
115
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
126
click to vote
DM
2000
15 years 4 months ago
2000
The transformation which assigns to a linear operator L the recurrence satisfied by coefficient sequences of the polynomial series in its kernel, is shown to be an isomorphism of ...
185
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...