Patent №
US 7,305,637
Granted
2007-12-04
Filed 2005
Owner
NEC LABORATORIES AMERICA, INC.
+1 more
Lab
—
AI components
2
ml · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
11087898
An efficient approach for SAT-based quantifier elimination and pre-image computation using unrolled designs that significantly improves the performance of pre-image and fix-point computation in SAT-based unbounded symbolic model checking.
AI classification
AI hardware1.00
Machine learning1.00
Vision0.06
Evolutionary computation0.03
Natural language0.00
Knowledge representation0.00
Speech0.00
Planning0.00
Ownership
NEC LABORATORIES AMERICA, INC.
assignment · 164060764
NEC CORPORATION
assignment · 204870759
Assignors
GANAI, MALAY K., GUPTA, AARTI, ASHAR, PRANAV
On an employer assignment, the assignors are typically the inventors.
From the same owner
SOUND EVENT EARLY DETECTIONUS 12,674,702 · 2026COMPOSITIONAL IMAGE GENERATION AND MANIPULATIONUS 12,670,628 · 2026CONDITIONAL SIMILARITY-BASED IMAGE IDENTIFICATION AND MATCHING WITH REDUCED LABELSUS 12,670,695 · 2026OBJECT DETECTION IN DRIVER ASSISTANCE SYSTEMUS 12,670,719 · 2026PEPTIDE SEARCH SYSTEM FOR IMMUNOTHERAPYUS 12,651,647 · 2026VIDEO GENERATION WITH LATENT DIFFUSION PROBABILISTIC MODELSUS 12,633,003 · 2026VIDEO ANALYTICS ACCURACY USING TRANSFER LEARNINGUS 12,620,119 · 2026DIVERSE FUTURE PREDICTIONS FOR PEDESTRIANSUS 12,612,036 · 2026