Abstract:
A method, apparatus, system, article of manufacture, and data structure provide the ability to extract a primitive quadric surface from point cloud data. Point cloud data is obtained in 3D space. The point cloud data is segmented to create a disjoined surface and a smooth surface segment based on spatial connectivity and surface smoothness. One or more shapes are extracted from the point cloud data using geometric fitting. The geometric fitting searches for one or more quadric surface parameters of a given type of model that provides a best agreement between selected points from the point cloud data and a resultant model.
Abstract:
An approach is provided for interworking between radio access networks that utilize different radio access technologies. Loading information of a plurality of radio access networks that are accessible by a terminal is determined. A list of candidates from the radio access networks are output based on the loading information for use by the terminal.
Abstract:
This invention relates to stable colorants of high extinction coefficient and high solubility or dispersibility for an electrophoretic, magnetophoretic or electromagnetophoretic display. More particularly, it relates to stable colorants for a microcup-based electrophoretic or electromagnetophoretic display the cells of which are filled with charged and/or magnetic particles dispersed in a halogenated, preferably a fluorinated, solvent. The use of the stable colorants allows the display to be of superior contrast ratio and longevity, and suitable for high-quality imagery applications.
Abstract:
This invention relates to stable colorants of high extinction coefficient and high solubility or dispersibility for an electrophoretic, magnetophoretic or electromagnetophoretic display. More particularly, it relates to stable colorants for a microcup-based electrophoretic or electromagnetophoretic display the cells of which are filled with charged and/or magnetic particles dispersed in a halogenated, preferably a fluorinated, solvent. The use of the stable colorants allows the display to be of superior contrast ratio and longevity, and suitable for high-quality imagery applications.
Abstract:
This invention relates to process for preparing fluorinated dyes selected from the group consisting of compounds of the general formulae (I) and (III) and mixtures thereof by reacting the corresponding compounds which do not have R12 or R30 as substituents with compounds of the general formula R12A or R30A where A is selected from the group consisting of I and Br, the compounds obtained from said process and the use of these fluorinated dyes in electrophoretic displays.
Abstract:
A system and method for efficiently performing memory intensive computations including a bidirectional synchronization mechanism for maintaining consistency of data on which computations will be performed. This can be used to solve various problems such as those in a business context. Synchronization occurs in a near-real-time fashion between data in a database and data stored in memory. The synchronization is accomplished by periodically scanning the database to see if any data has changed. If any data has changed, the changes are copied over to memory so that the data in memory is current. This update is accomplished without copying the entire database into memory each time data in the database changes.
Abstract:
This invention relates to novel fluorinated dyes or colorants having high solubility and low viscosity in halogenated, especially fluorinated, solvents. The dyes or colorants of the present invention have shown to improve the performance of electrophoretic displays.
Abstract:
Disclosed herein is an electrowetting system using the electrowetting phenomenon. The electrowetting system comprises an electrolyte solution consisting of 30 to 89% by weight of water, 0.01 to 30% by weight of a salt and 10 to 60% by weight of a polar solvent having a dipole moment. According to the electrowetting system, the polar solvent added to increase the viscosity of the electrolyte solution stabilizes the movement of the electrolyte solution when a voltage is applied to operate the electrowetting system. In addition, high- or low-temperature reliability of the electrowetting system can be ensured by the use of the polar solvent.
Abstract:
This invention relates to novel fluorinated dyes or colorants having high solubility and low viscosity in halogenated, especially fluorinated, solvents. The dyes or colorants of the present invention have shown to improve the performance of electrophoretic displays.
Abstract:
Formal verification methods provide for improved efficiency of popular binary decision diagram (BDD) based algorithms. A lazy pre-image computation method builds new transition relation partitions on-demand for relevant internal variables of a state predicate, and conjoins only next state relations for relevant internal variables to a pre-image including the state predicate. A lazy fixpoint computation method makes iterative use of lazy pre-image computation to compute conditions that must be satisfied to produce a given set of states. A forward assumption propagation method generates assumptions to characterize a set of interesting states for a property being evaluated at one or more evaluation stages. A dynamic transition relation reduction improves the efficiency for symbolic model checking by reducing transition relations under assumptions dynamically generated from properties being evaluated. These methods provide symbolic model checking of circuits and other finite state systems previously too large to be completed successfully using BDD based algorithms.