- Type inference for datalog with complex type hierarchies
US Patent 2017
What is disclosed are a novel system and method for inferring types of database queries. - Editing and compiling business rules
US Patent 2017
A component in a graph-based computation having data processing components connected by linking elements representing data flows is updated by receiving a rule specification… - Soft constraints in scheduling
US Patent 2012
A method for implementing soft constraints in scheduling comprises receiving a description of circuit behavior. - User programmable deductive spreadsheet apparatus…
US Patent 2010
A user programmable deductive spreadsheet is implemented as an add-in to an existing mathematical spreadsheet program… - Integrating optimization directly into databases
US Patent 2009
Systems, methods and articles solve computationally complex problems. Example embodiments provide data query language features that may be used to express optimization problems. - Position display system of mobile terminal
US Patent 2002
A position detection system of a mobile terminal includes a small zone communication system such as the PHS system, and a center station connected to an exchange station forming the PHS system.