Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Compumine AB Patents
Assignee:
Compumine AB
Address:
Uppsala, SE
No. of patents:
1
Patents:












Patent Number Title Of Patent Date Issued
7379941 Method for efficiently checking coverage of rules derived from a logical theory May 27, 2008
The method is used in a computer and includes the steps of providing a logical theory that has clauses. A rule is generated that is a resolvent of clauses in the logical theory. An example is retrieved. A proof tree is generated from the example using the logical theory. The proof tree i

 
 
  Recently Added Patents
Apparatus and method for layered decoding in a communication system using low-density parity-check codes
Systems and methods for restoring images
Methods and systems for temporarily sharing position data between mobile-device users
Synchronous rectifier network unit circuit and method
Liquid crystal display panel
Fixing apparatus
Active tags
  Randomly Featured Patents
Refrigerator having controller for supplying water from a reservoir to either an ice maker or an outside dispenser
Thermal transfer printing dyesheet
Pulse tube refrigerator
Aerodynamic structure for vehicle
Method and apparatus for forming and stacking a folded sewn ply such as a V-top shirt pocket
Speaker recognition apparatus and speaker recognition method to eliminate a trade-off relationship between phonological resolving performance and speaker resolving performance
Self-tightening pivotable grippers
Multi-layered polymeric gel electrolyte and electrochemical cell using same
Method and apparatus for estimating the position of a moving part of a linear actuator
Programmable delay line utilizing measured actual delays to provide a highly accurate delay