The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Mar. 29, 2011
Filed:
Nov. 20, 2009
Daniel Dobson, Atherton, CA (US);
John Funge, Sunnyvale, CA (US);
Charles Musick, Jr., Belmont, CA (US);
Stuart Reynolds, Mountain View, CA (US);
Xiaoyuan Tu, Sunnyvale, CA (US);
Ian Wright, Sunnyvale, CA (US);
Wei Yen, Seattle, WA (US);
Daniel Dobson, Atherton, CA (US);
John Funge, Sunnyvale, CA (US);
Charles Musick, Jr., Belmont, CA (US);
Stuart Reynolds, Mountain View, CA (US);
Xiaoyuan Tu, Sunnyvale, CA (US);
Ian Wright, Sunnyvale, CA (US);
Wei Yen, Seattle, WA (US);
AiLive, Inc., Mountain View, CA (US);
Abstract
Methods and systems capable of 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. A plurality of directed acyclic graphs, each graph including at least one root node, at least one leaf node, and at least one non-leaf node associated with a leaf node. Each node is associated with a, possibly empty, subset of presumed to be true logical expressions. Each non-leaf node is associated with one of the primitives mentioned in any of the logical expressions. Edges are defined between two of the nodes, each edge being associated with a possible value, or range of possible values, of the primitive associated with the node at the tail of the edge. Paths are defined through each of the directed acyclic graphs from a root node to a leaf node by recursively following each edge corresponding to the current value of the primitive at a selected non-leaf node. Lastly, subsets of logical expressions associated with the nodes on the defined paths are collated to yield a subset of logical expressions that are true.