740 search results - page 5 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
LPAR
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
IANDC
2006
13 years 7 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
SIGMETRICS
2003
ACM
14 years 17 days ago
2003
ACM
It is commonly agreed that scheduling mechanisms in general purpose operating systems do not provide adequate support for modern interactive applications, notably multimedia appli...
ICMCS
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents a novel approach to representing 2-d shapes that adaptively models different portions of the shape at different resolutions, having higher resolution where it ...
NETGAMES
2003
ACM
14 years 17 days ago
2003
ACM
Multiplayer games for mobile wireless devices are becoming increasingly popular. Many modern devices such as PDAs or mobile telephones are equipped with Bluetooth interfaces. Blue...