Pneumatic Shoe Lacing Apparatus
This invention provides a pneumatic shoe lacing apparatus for the pneumatic lacing of shoe.
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 7028221 | Apparatus and method for capturing knowledge through an expert interface An apparatus and method is provided for auditing the configuration of an enterprise comprising the steps of: collecting information relating to the configuration of the enterprise, analyzing the configuration information based on expert knowledge; and providing the ... | 04/11/2006 |
| 6985899 | Method and system for composing a query for a database and traversing the database A system and method of composing a query object for application against a database is provided. The method composes a selection clause for the query. Next, a criteria clause for the query is generated, with the criteria clause comprising input criteria related to th... | 01/10/2006 |
| 6751735 | Apparatus for control of cryptography implementations in third party applications An apparatus and method provide a controlled, dynamically loaded, modular, cryptographic implementation for integration of flexible policy implementations on policy engines, and the like, into a base executable having at least one slot. The base executable may rely ... | 06/15/2004 |
| 6385494 | System and method for producing production control software A method and system for producing production control software for a plurality of electronic control modules, is provided. The electronic control modules are located on production machines. Each production machine includes a subset of the electronic contro... | 05/07/2002 |
| 6269300 | Method for producing production control software for a natural gas or diesel engine controller A method of operating a computer to automatically produce production control software for a natural gas engine controller or a diesel engine controller is provided. The method includes the steps of (1) as a function of user input, defining a set specifica... | 07/31/2001 |
| 6114978 | Method and apparatus for assignment of shortcut key combinations in a computer software application A method is described for the selection and assignment of keyboard access mnemonics and accelerator key combinations as part of the application software development process. After determining application functions and categories that require assignment, m... | 09/05/2000 |
| 6059842 | System and method for optimizing computer software and hardware A method of optimizing the operation of a computer system in running application programs in accordance with system capabilities, user preferences and configuration parameters of the application program. More specifically, with this invention, an optimizi... | 05/09/2000 |
| 5966533 | Method and system for dynamically synthesizing a computer program by differentially resolving atoms based on user context data A method and system for dynamically synthesizing a computer program based on user context data is provided. In accordance with the invention, a request is received to generate a computer program for an identified user. In response, an incomplete definitio... | 10/12/1999 |
| 5856925 | Method for making electronic circuit design data and CAD system using the method In a method for managing design data regarding an electronic circuit in order to design and analyze the electronic circuit, the design data is arranged according to a hierarchical-layer module structure. The design data in each of hierarchical layers of t... | 01/05/1999 |
| 5812840 | Database query system A database query system includes a query assistant that permits the user to enter only queries that are both syntactically and semantically valid (and that can be processed by an SQL generator to produce semantically valid SQL). Through the use of dialog ... | 09/22/1998 |
| 5724242 | Method for producing production control software for a natural gas engine controller A method of operating a computer to automatically produce production control software for a natural gas engine controller (104) on a machine is provided. The controller (104) is adapted to control a natural gas engine (106). The method includes the steps ... | 03/03/1998 |
| 5708774 | Automated testing of software application interfaces, object methods and commands Automated testing of software application interfaces, object methods and commands, including testing software using order-based genetic algorithms to search for and detect symptoms of software errors by generating test sequences which converge on points i... | 01/13/1998 |
| 5678052 | Methods and system for converting a text-based grammar to a compressed syntax diagram Methods and a system for converting a BNF grammar to a compressed railroad diagram are set forth. For a selected grammar rule within the text-based grammar, a space required within the compressed railroad diagram is determined. Thereafter, a space require... | 10/14/1997 |
| 5651098 | Planning method and system A system for making an optimum plan for a given problem at high speed. The system sets a planning problem, etc., prepares an objective function and finalizes a plan for minimizing or maximizing the objective function value, and then stores necessary varia... | 07/22/1997 |
| 5640567 | Apparatus and method for software system management using second-order logic A software system manager to achieve second-order logical management of a software system model is described. The system relies upon a second-order logic system description that uses variable functors with specified import predicate arguments and export p... | 06/17/1997 |
| 5584024 | Interactive database query system and method for prohibiting the selection of semantically incorrect query parameters A database query system includes a query assistant that permits the user to enter only queries that are both syntactically and semantically valid (and that can be processed by an SQL generator to produce semantically valid SQL). Through the use of dialog ... | 12/10/1996 |
| 5530869 | System and method for locating and implementing commands without invoking a menu hierarchy A system and method efficiently locates program features in a menu-oriented software program. The system and method enable a user to locate a feature in a menu-based program by flattening the hierarchy without requiring prior knowledge of the terms used i... | 06/25/1996 |
| 5526522 | Automatic program generating system using recursive conversion of a program specification into syntactic tree format and using design knowledge base This automatic program generation system is a system to generate a target program by recursive conversion of program, which uses a specification input means to input specification and convert it into syntactic tree format and utilizes a design control mea... | 06/11/1996 |
| 5442792 | Expert system compilation method A computer implemented compilation method or compiler and translator that automatically converts an interpretive rule-based expert system into compact, compiled, parallel Ada code. The present compiler customizes the compiled code for each desired knowled... | 08/15/1995 |
| 5438526 | Program generation method for particles simulation A generation method of particle simulation programs includes a translation and discretization process of equation of motion of particles for recognizing attributes of a space and particles based on information of the particle simulation to generate expres... | 08/01/1995 |
| 5428709 | Integer string rule detection system A system is provided for determining the rule or set of rules which govern the generation of a string of integers so as to ascertain the nature of the data represented by the string of integers, with the integer generation rule permitting genetic code det... | 06/27/1995 |
| 5353371 | Apparatus and methods for generating a program by synthesizing an object described in an object-oriented language A program synthesis system comprises a function decomposition unit for decomposing a function according to a predetermined specification so as to obtain detailed functions of the specification, a similarity decision unit for retrieving intermediates simil... | 10/04/1994 |
| 5317504 | Computer implemented process for executing accounting theory systems Method for creating programs and processing data by having data in the form of data cards readily moved in and out of, and exchanged between, a command module, automatic editing display generator, printer generator and database. Programs may be written by... | 05/31/1994 |
| 5297150 | Rule-based method for testing of programming segments A method for determining a set of f low paths in a code listing that are most likely to fail comprises the steps of: converting the code listing to a directed acyclic graph representation, the representation including nodes and directed edges, each node r... | 03/22/1994 |
| 5295222 | Computer-aided software engineering facility A computer-aided software engineering facility and method for creating computer source code and executable computer programs that are distributable across multiple hardware environments or platforms. An object oriented modeling system is linked with modul... | 03/15/1994 |
| 5241580 | Method for validating customized telephone services A method for using an expert system to validate the customized call processing information (CCPI) records which permit a customer to customize services in a telephone network. The information corresponding to a CCPI record is converted into a set of "sche... | 08/31/1993 |
| 5216592 | System and method for business process automation A system and method for developing specialized data processing systems for tracking items through a business process. The method allows rapid creation of a specific data processing system based upon a series of generic process rules previously developed a... | 06/01/1993 |
| 5200888 | Method for automatically designing a program structure In a development portion (2) of a directed graph, when a program specification (1) is provided, descriptive elements having characteristics of sets described in the specification and descriptive elements defining a calculation method described therein are... | 04/06/1993 |
| 5159687 | Method and apparatus for generating program code files A method and system for automatic generation of program code using expert knowledge programmed into a knowledgebase. The expert knowledge includes not only program script units adapted to a generic problem to be solved, but also instructions for "composin... | 10/27/1992 |
| 5133063 | Method and system for outputting program change effect information to a user A program change effect indicating method for use in a computer system designed to support the determination of parts to be changed in a program. Change steps associated with the method include; the steps of generating analyzed program information by anal... | 07/21/1992 |
| 5119475 | Object-oriented framework for menu definition A declarative object-oriented approach to menu construction provides a mechanism for specifying the behavior, appearance and function of menus as part of an interactive user interface. Menus are constructed from interchangeable object building blocks to o... | 06/02/1992 |
| 5084813 | Rule based system for synthesizing a program suited for a target system in response to an input target system specification An automatic program synthesizer receives a system specification and searches software parts suited to the specification. In order to obtain a function satisfying the system specification, the searched software parts are corrected or converted in accordan... | 01/28/1992 |
| 5038296 | Automatic program synthisizer An automatic program synthesizer is disclosed. The synthesizer comprises program rule memory for storing a program synthesis rule, program synthesis goal generator for generating a program synthesis goal suitable for system specifications of a target syst... | 08/06/1991 |
| 4935877 | Non-linear genetic algorithms for solving problems The present invention is a non-linear genetic algorithm for problem solving. The iterative process of the present invention operates on a population of problem solving entities. First, the activated entities perform, producing results. Then the results ar... | 06/19/1990 |
| 4860204 | Computer based workstation for development of graphic representation of computer programs A workstation that employs methods to construct computer programs through use of visual graphical representations. Computer programs are illustrated as visual road maps of the intended sequence of actions. Each operational entity in a program graph on the... | 08/22/1989 |
| 4847784 | Knowledge based tutor A knowledge system has a consultation system and also encodes domain-dependent tutoring knowledge as a set of conditions for interrupting the operation of the consultation system in order to evaluate a subject system. During the evaluation, the subject sy... | 07/11/1989 |
| 4841441 | Method of creating a computer system An expert system uses internal rules for sound software development and in the end automatically produces a correct running system, without the need for the designer to work out the solution first or to enter any more than the facts (data types and proced... | 06/20/1989 |
| 4752890 | Adaptive mechanisms for execution of sequential decisions An adaptive mechanism is presented in the context of optimization of expert system applications. Both single and multiple processor implementations are disclosed. The mechanism is used to maintain a near-optimal sequence for scanning rule lists in expert ... | 06/21/1988 |
| 4740886 | Computer control system utilizing knowledge processing A computer control system utilizing mathematical formula processing and more broadly knowledge engineering is characterized by a man-machine processing unit for defining a mathematical formula model, a program generation unit for converting the defined ma... | 04/26/1988 |
| 4713775 | Intelligent assistant for using and operating computer system capabilities to solve problems To help a user program a computer target system to solve problems, the computer system is provided with predefined capabilities and the user is provided with a knowledge system that includes knowledge about applying the capabilities to effectively and eff... | 12/15/1987 |