2272 search results - page 67 / 455 » A Calculus for |
108
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
125
Voted
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
164
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper considers two important issues for video sensor network, (1) timely delivery of captured video stream and (2) energy-efficient network design. Based on network calc...
119
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
146
Voted
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...