Membership
Tour
Register
Log in
Eric Baum
Follow
Person
Princeton, NJ, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System, apparatus and method for supporting formal verification of...
Patent number
11,868,913
Issue date
Jan 9, 2024
Eric Burton Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, apparatus and method for supporting formal verification of...
Patent number
11,170,312
Issue date
Nov 9, 2021
Eric Burton Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for creating a program to preform a desired task...
Patent number
7,873,587
Issue date
Jan 18, 2011
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for constructing cognitive programs
Patent number
7,853,540
Issue date
Dec 14, 2010
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Plan and candidate plan based system for achieving one or more goal...
Patent number
7,640,221
Issue date
Dec 29, 2009
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for constructing cognitive programs
Patent number
7,548,893
Issue date
Jun 16, 2009
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for constructing cognitive programs
Patent number
7,437,335
Issue date
Oct 14, 2008
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
DNA sequences useful for computation
Patent number
6,124,444
Issue date
Sep 26, 2000
NEC Research Institute, Inc.
Eric Burton Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Dual polarization wave clutter reduction
Patent number
5,805,106
Issue date
Sep 8, 1998
TRW Inc.
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
System, Apparatus and Method for Supporting Formal Verification of...
Publication number
20240095554
Publication date
Mar 21, 2024
Eric Burton Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System, Apparatus And Method For Supporting Formal Verification Of...
Publication number
20220027771
Publication date
Jan 27, 2022
Eric Burton Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM, APPARATUS AND METHOD FOR SUPPORTING FORMAL VERIFICATION OF...
Publication number
20180322407
Publication date
Nov 8, 2018
Eric Burton Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PLANNING METHOD AND SYSTEM FOR USE IN COGNITIVE PROGRAMS
Publication number
20130282638
Publication date
Oct 24, 2013
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Planning method and system for use in cognitive programs
Publication number
20100306149
Publication date
Dec 2, 2010
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and method for constructing cognitive programs
Publication number
20090216695
Publication date
Aug 27, 2009
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for constructing cognitive programs
Publication number
20090006299
Publication date
Jan 1, 2009
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and method for constructing cognitive programs
Publication number
20070245295
Publication date
Oct 18, 2007
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Planning method and system for use in cognitive programs
Publication number
20070016541
Publication date
Jan 18, 2007
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for constructing cognitive programs
Publication number
20060184916
Publication date
Aug 17, 2006
Eric Baum
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Algorithm for retrieval of ocean surface temperature, wind speed an...
Publication number
20060064279
Publication date
Mar 23, 2006
Eric Baum
G01 - MEASURING TESTING
Information
Patent Application
Algorithm for retrieval of ocean surface temperature, wind speed an...
Publication number
20050235746
Publication date
Oct 27, 2005
Eric Baum
G01 - MEASURING TESTING