3994 search results - page 421 / 799 » A Linear Logical Framework |
195
click to vote
ICMLA
2010
15 years 4 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
227
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
200
click to vote
TNN
2010
15 years 1 months ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
265
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
The term ‘Session Fixation vulnerability’ subsumes issues in Web applications that under certain circumstances enable the adversary to perform a Session Hijacking attack throu...
204
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...