740 search results - page 9 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CN
2007
13 years 7 months ago
2007
The Session Initiation Protocol (SIP) is widely used as a call control protocol for Voice over IP (VoIP), and indeed commercial implementations are readily available off-the-shel...
CAINE
2007
13 years 8 months ago
2007
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
So called intractable conflicts may benefit from more modest and socially oriented approaches than those based on classical conflict resolution techniques. This paper is inspired ...
AIED
2005
Springer
14 years 27 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
APSEC
2005
IEEE
14 years 29 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...