69 search results - page 5 / 14 » Logspace Reducibility via Abstract State Machines |
156
click to vote
DAGSTUHL
1994
15 years 6 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
172
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
139
click to vote
ECML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We investigate the problem of using function approximation in reinforcement learning where the agent’s policy is represented as a classifier mapping states to actions....
150
Voted
AC
2000
Springer
15 years 9 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
176
click to vote
PAKDD
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. Detecting abnormal event from video sequences is an important problem in computer vision and pattern recognition and a large number of algorithms have been devised to tac...