Data processing: artificial intelligence – Knowledge processing system
Reexamination Certificate
2011-02-08
2011-02-08
Sparks, Donald (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Reexamination Certificate
active
07885907
ABSTRACT:
Methods and systems capable of creating a component for determining which subset of a set of logical expressions are true with relatively few evaluations of the primitives that, together with any standard logical connectives, make up the logical expressions.
REFERENCES:
R. Kohavi, “Bottom-Up Induction of Oblivious Read-Once Decision Graphs”, Proceedings of the twelfth national conference on Artificial intelligence, pp. 613-618, 1994.
M. Fujita, Y. Matsunaga, and T. Kakuda, “On Variable Ordering of Binary Decision Diagrams for the Application of Multi-Level Logic Synthesis”, Proceedings of the European Conference on Design Automation, pp. 50-54, 1991.
N. Asahi, M. Akazawa, and Y. Amemiya, “Binary-Decision-Diagram Device”, IEEE Trans. on Electron Devices, vol. 42, No. 11, 1999-2005, Nov. 1995.
Dobson Daniel
Funge John
Musick Charles
Reynolds Stuart
Tu Xiaoyuan
AiLive Inc.
Gonzales Vincent M
Sparks Donald
Zheng Joe
LandOfFree
Automatically creating a component to rapidly evaluate... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automatically creating a component to rapidly evaluate..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatically creating a component to rapidly evaluate... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2621560