1021 search results - page 28 / 205 » Concepts in Proof Planning |
ICRA
1999
IEEE
14 years 28 days ago
1999
IEEE
We discuss a robotic system composed of Crystalline modules. Crystaline modules can aggregate together to form distributed robot systems. Crystalline modules can move relative to ...
COLT
2004
Springer
14 years 11 days ago
2004
Springer
For hyper-rectangles in Rd Auer et al. [1] proved a PAC bound of O 1 (d + log 1 ) , where and are the accuracy and confidence parameters. It is still an open question whether one...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
TCC
2010
Springer
14 years 3 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...