740 search results - page 107 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
126
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
114
click to vote
MM
1993
ACM
15 years 5 months ago
1993
ACM
This paper describes Phoneshell, a telephone based application providing remote voice access to personal desktop databases such as voice mail, email, calendar, and rolodex. Severa...
115
click to vote
COLT
2004
Springer
15 years 5 months ago
2004
Springer
We study the problem of classifying data in a given taxonomy when classifications associated with multiple and/or partial paths are allowed. We introduce an incremental algorithm u...
FLAIRS
2007
15 years 3 months ago
2007
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
SDL
2001
15 years 2 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...