CADUCEUS (expert system)

Known as: Caduceus (disambiguation) 
CADUCEUS was a medical expert system finished in the mid-1980s (first begun in the 1970s- it took a long time to build the knowledge base) by Harry… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1967-2015
012319672015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
This paper distinguishes consultation systems from more general intelligent tutoring systems and describes an approach to the… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper introduces a methodology to perform formal verification of floating-point C programs. It extends an existing tool for… (More)
  • figure 1
Is this relevant?
2007
2007
We propose an original approach for checking memory safety of C pointer programs, by combining deductive verification and… (More)
  • figure 1
  • figure 3
  • figure 8
  • figure 9
Is this relevant?
2007
2007
We propose an original approach for checking memory safety of C pointer programs, by combining deductive verification and… (More)
  • figure 1
Is this relevant?
2005
2005
We describe an experiment of formal verification of C source code, using the CADUCEUS tool. We performed a full formal proof of… (More)
  • figure 2
  • figure 4
Is this relevant?
2005
2005
Proving C or Java programs Our main activity is related to program veri cation. We mainly focus on the veri cation of behavioral… (More)
Is this relevant?
2005
2005
This paper reports on a method to handle the verification of various security properties of imperative source code embedded on… (More)
Is this relevant?
Review
1985
Review
1985
Expert systems, intelligent environments, robotics, and a touch of capitalism: research stands shoulder to shoulder with… (More)
Is this relevant?
1982
1982
Arby is a software for writing expert electronic systems system or higher order language systems to do diagnosis in . As such, it… (More)
Is this relevant?
1967
1967
much more than it gives. There are about 75 subheadings in the text, each allotted an average of three pages, under which topics… (More)
Is this relevant?