2944 search results - page 165 / 589 » On Well Quasi-orders on Languages |
96
Voted
NIPS
2000
15 years 2 months ago
2000
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
122
Voted
Source Code
Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. It is based on recursive templates. Integer, float...
52
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
104
click to vote
ENTCS
2006
15 years 25 days ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
110
Voted
MT
2006
15 years 23 days ago
2006
Abstract. The paper proposes a method to improve the extraction of lowfrequency translation equivalents from comparable corpora. Prior to performing the mapping between vector spac...