709 search results - page 101 / 142 » An Equational Theory for Transactions |
185
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
CHI
2003
ACM
15 years 11 months ago
2003
ACM
How is interacting with computer programs different from interacting with people? One answer in the literature is that these two types of interactions are similar. The present stu...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper provides that an elastic force and an elastic potential energy due to the deformation of soft fingers, which are previously derived, can be calculated into straight...
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Although well understood in the single-agent framework, the use of traditional reinforcement learning (RL) algorithms in multi-agent systems (MAS) is not always justified. The fe...