653 search results - page 59 / 131 » Partial equilibrium logic |
124
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
136
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
142
Voted
IEEEICCI
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
106
click to vote
ARITH
1999
IEEE
15 years 8 months ago
1999
IEEE
A new IEEE compliant floating-point rounding algorithm for computing the rounded product from a carry-save representation of the product is presented. The new rounding algorithm i...
130
Voted
ECP
1997
Springer
15 years 7 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...