1757 search results - page 47 / 352 » Alternating Refinement Relations |
136
click to vote
IS
2008
15 years 16 days ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
103
Voted
JCP
2008
15 years 15 days ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
129
click to vote
CCS
2009
ACM
14 years 10 months ago
2009
ACM
Privacy of RFID systems is receiving increasing attention in the RFID community. Basically, there are two kinds of RFID privacy notions: one based on the indistinguishability of t...
66
Voted
ISIPTA
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we focus on the theoretical properties of non-numerical representation of the uncertainty. As usual, this representation is realized by an ``ordinal relation'&#...
140
Voted
DAGSTUHL
1996
15 years 1 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...