| 12366440 |
Interacting with machines using natural language input and an enhanced state graph |
Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans |
2025-07-22 |
|
| 12320636 |
Interacting with machines using natural language input and a state graph |
Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans |
2025-06-03 |
|
| 12031814 |
System for interacting with machines using natural language input |
Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans |
2024-07-09 |
$5,680,000 |
| 11900018 |
Method for generating designs based on automatically built design space grammars |
Matthew Klenk, Johan de Kleer |
2024-02-13 |
$5,232,000 |
| 11725924 |
Controlling mechanical systems based on natural language input |
Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans |
2023-08-15 |
$3,793,000 |
| 11599709 |
Natural language web browser |
Kyle D. Dent, Daniel G. Bobrow |
2023-03-07 |
$5,843,000 |
| 8706660 |
System and method for efficient interpretation of natural images and document images in terms of objects and their parts |
Evgeniy Bart, Prateek Sarkar |
2014-04-22 |
$2,889,000 |
| 8577899 |
Detecting duplicates in a shared knowledge base |
— |
2013-11-05 |
$2,361,000 |
| 8402542 |
Non-sensitive-passage database for cut-and-paste attack detection systems |
Tracy Holloway King, Philippe Jean-Paul Golle, Jessica N. Staddon |
2013-03-19 |
$3,471,000 |
| 7788083 |
Systems and methods for the generation of alternate phrases from packed meaning |
— |
2010-08-31 |
$3,495,000 |
| 7657420 |
Systems and methods for the generation of alternate phrases from packed meaning |
— |
2010-02-02 |
$4,960,000 |
| 7302382 |
Generating with lexical functional grammars |
— |
2007-11-27 |
$3,843,000 |
| 7225121 |
Generating with Lexical Functional Grammars |
Hadar Shemtov |
2007-05-29 |
$4,029,000 |
| 7171403 |
Systems and methods for efficient conjunction of Boolean variables |
— |
2007-01-30 |
$4,809,000 |
| 7165055 |
Systems and methods for solving nogood databases |
— |
2007-01-16 |
$6,763,000 |
| 6064953 |
Method for creating a disjunctive edge graph from subtrees during unification |
Ronald M. Kaplan |
2000-05-16 |
$23,864,000 |
| 5903860 |
Method of conjoining clauses during unification using opaque clauses |
Ronald M. Kaplan |
1999-05-11 |
$42,176,000 |
| 5819210 |
Method of lazy contexted copying during unification |
Ronald M. Kaplan |
1998-10-06 |
$15,074,000 |
| 5727222 |
Method of parsing unification based grammars using disjunctive lazy copy links |
— |
1998-03-10 |
$16,336,000 |
| 5581780 |
Stored string data with next and alternative information a processor can use to reach next and alternative locations in memory |
Ronald M. Kaplan, Martin Kay |
1996-12-03 |
$7,427,000 |
| 5533183 |
User interface with multiple workspaces for sharing display system objects |
D. Austin Henderson, Jr., Stuart K. Card |
1996-07-02 |
$4,834,000 |
| 5450598 |
Finite state machine data storage where data transition is accomplished without the use of pointers |
Ronald M. Kaplan, Martin Kay |
1995-09-12 |
$2,445,000 |
| 5438511 |
Disjunctive unification |
Ronald M. Kaplan |
1995-08-01 |
$5,849,000 |
| 5394521 |
User interface with multiple workspaces for sharing display system objects |
D. Austin Henderson, Jr., Stuart K. Card |
1995-02-28 |
$4,780,000 |
| 5325091 |
Text-compression technique using frequency-ordered array of word-number mappers |
Ronald M. Kaplan |
1994-06-28 |
$2,323,000 |
