Method and system for rapid evaluation of logical expressions

Data processing: artificial intelligence – Machine learning

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Reexamination Certificate

active

07917455

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.

REFERENCES:
patent: 6249606 (2001-06-01), Kiraly et al.
patent: 7120642 (2006-10-01), Hsu et al.
patent: 7209962 (2007-04-01), Boden
patent: 7313552 (2007-12-01), Lorenz et al.
patent: 7334087 (2008-02-01), Cuomo et al.
patent: 7409317 (2008-08-01), Cousin et al.
patent: 7421369 (2008-09-01), Clarkson
patent: 7519223 (2009-04-01), Dehlin et al.
patent: 7539658 (2009-05-01), Perazolo et al.
patent: 7580572 (2009-08-01), Bang et al.
patent: 7584074 (2009-09-01), Cousin et al.
patent: 7636697 (2009-12-01), Dobson et al.
patent: 7698104 (2010-04-01), Cousin et al.
patent: 7702608 (2010-04-01), Bererton et al.
patent: 7770136 (2010-08-01), Beeck et al.
patent: 7774155 (2010-08-01), Sato et al.
patent: 7809868 (2010-10-01), Mu
patent: 2004/0030531 (2004-02-01), Miller et al.
patent: 2005/0215322 (2005-09-01), Himoto et al.
patent: 2005/0219213 (2005-10-01), Cho et al.
patent: 2006/0071904 (2006-04-01), Cho et al.
patent: 2006/0279549 (2006-12-01), Zhang et al.
patent: 2006/0287084 (2006-12-01), Mao et al.
patent: 2009/0066641 (2009-03-01), Mahajan et al.
patent: 2009/0143141 (2009-06-01), Wells et al.
patent: 2009/0149257 (2009-06-01), Ferguson et al.
patent: 2009/0209343 (2009-08-01), Foxlin et al.
patent: 2009/0258703 (2009-10-01), Brunstetter
patent: 2009/0265671 (2009-10-01), Sachs et al.
patent: 2009/0273559 (2009-11-01), Rofougaran et al.
patent: 2009/0291759 (2009-11-01), Cox et al.
patent: 2010/0035688 (2010-02-01), Picunko
patent: 2010/0079447 (2010-04-01), Williams
patent: 2010/0088061 (2010-04-01), Horodezky et al.
patent: 2010/0117959 (2010-05-01), Hong et al.
patent: 2010/0171696 (2010-07-01), Wu
patent: 2010/0201616 (2010-08-01), Choi et al.
patent: 1834680 (2007-09-01), None
patent: 2090346 (2009-08-01), None
patent: 2423808 (2006-09-01), None
patent: 11253656 (1999-09-01), None
patent: WO2006/090197 (2006-08-01), None
patent: WO2006/128093 (2006-11-01), None
Recognizing Sign Language from Brain Imaging, Mehta, N.A.; Starner, T.; Jackson, M.M.; Babalola, K.O.; James, G.A.; Pattern Recognition (ICPR), 2010 20th International Conference on Digital Object Identifier: 10.1109/ICPR.2010.936 Publication Year: 2010, pp. 3842-3845.
Compute the Term Contributed Frequency, Cheng-Lung Sung; Hsu-Chun Yen; Wen-Lian Hsu; Intelligent Systems Design and Applications, 2008. ISDA '08. Eighth International Conference on vol. 2 Digital Object Identifier: 10.1109/ISDA.2008.152 Publication Year: 2008, pp. 325-328.
E. Keogh and M. Pazzani, Derivative Dynamic Time Warping, in First SIAM International Conference on Data Mining, (Chicago, IL, 2001).
Lawrence R. Rabiner, A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition. Proceedings of the IEEE, 77 (2), p. 257-286, Feb. 1989.
“Radar, Sonar, Navigation&Avionics Strapdown Inertial Navigation Technology, 2ndEdition”, by D. Titterton and J. Weston.
“Design and Error Analysis of Accelerometer-Based Inertial Navigation Systems”,Chin-Woo Tan et al., Published in Jun. 2002 by the University of California at Berkeley for the State of California PATH Transit and Highway System.
R. Kjeldson and J. Kender, Towards the Use of Gesture in Traditional User Interfaces, Proceedings of the 2ndInternational Conference on Automatic Face and Gesture Recognition) 1996.
D. Kwon and M. Gross, Combining Body Sensors and Visual Sensors for Motion Training, ACM SIGCHI ACE 2005.
Liqun Deng et al, “Automated Recognition of Sequential Patterns in Captured Motion Streams”, WAIM 2010, LNCS 6184, pp. 250-261, 2010.
M. Roth, K. Tanaka, “Computer Vision for Interactive Computer Graphics”, TR99-02 Jan. 1999,IEEE Computer Graphics and Applications,May-Jun. 1998, pp. 42-53.
YK Jung, et al, “Gesture recognition based on motion inertial sensors for ubiquitous interactive game content”,IETE Technical review, vol. 27, Issue 2, Mar.-Apr. 2010.
Zhang Xu et al, “Hand Gesture Recognition and Virtual Game Control Based on 3D Accelerometer and EMG Sensors”,IUI'09,Feb. 8-11, 2009, Sanibel Island, Florida, USA.
Greg Welch, et al, “Motion Tracking: No Silver Bullet, but a Respectable Arsenal”, Motion Tracking Survey, Nov./Dec. 2002.
Axel Mulder, et al, “Human movement tracking technology”, Human Movement Tracking Technology. Technical Report, NSERC Hand Centered Studies of Human Movement project, available through anonymous ftp in fas sfu.ca:/pub/cs/araphics/vmi/HMTT.pub.ps.Z. Burnaby, B.C., Canada: Simon Fraser University.
Sven Kratz, et al, “Gesture Recognition Using Motion Estimation on Mobile Phones”Proc PERMID 07 3rd Intl Workshop on Pervasive Mobile interaction Devices at Pervasive 2007.
Chuck Blanchard, et al, “Reality Built for Two: A Virtual Reality Too I” VPL Research, Inc . 656 Bair Island Road, Suite 30 4, Redwood City, CA 9406 3, I3D '90 Proceedings of the 1990 symposium on Interactive 3D graphics, © 1990 table of contents ISBN:0-89791-351-5.
NamHo Kim. et al “Gesture Recognition Based on Neural Networks for Dance Game Contents”, 2009 International Conference on New Trends in Information and Service Science.
Xiaoxu Zhou, et al “Real-time Facial Expression Recognition in the Interactive Game Based on Embedded Hidden Markov Model”, Proceedings of the International Conference on Computer Graphics, Imaging and Visualization (CGIV'04).

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Method and system for rapid evaluation of logical expressions does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for rapid evaluation of logical expressions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for rapid evaluation of logical expressions will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-2663056

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.