400 search results - page 18 / 80 » Moving Proofs-As-Programs into Practice |
ICAIL
2005
ACM
14 years 1 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
ECCV
1998
Springer
13 years 11 months ago
1998
Springer
This paper describes a theory and a practical algorithm for the autocalibration of a moving projective camera, from
MASCOTS
2007
13 years 9 months ago
2007
— The transmission energy required for a wireless communication increases superlinearly with the communication distance. In a mobile wireless network, nodal movement can be explo...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
PODS
2004
ACM
14 years 7 months ago
2004
ACM
We present a novel coding-based technique for answering spatial and spatiotemporal queries on objects moving along a system of curves on the plane such as many road networks. We h...