Abstract: Methods and apparatus are provided for propagating functional dependencies with conditions. Propagation covers are computed using an SPC view of a dataset, wherein the SPC view comprises selection, projection and Cartesian product operations. Selection operations are processed to extract equivalence classes. Cartesian product operations are processed to obtain a renamed set of the plurality of conditional functional dependencies, that have attributes appearing in the SPC view. Domain constraints from the equivalence classes are applied to the renamed set to remove attributes not in the SPC view. Projection operations are processed using a reduction by resolution procedure to identify inferences that can be propagated to the SPC view from the conditional functional dependencies having attributes that do not appear in the SPC view. Domain constraints of the equivalence classes are converted to conditional functional dependencies; and a minimal cover of the SPC view is determined.

Abstract: In one aspect, a processing device of an information processing system is operative to perform high-dimensional stratified sampling of a database comprising a plurality of records arranged in overlapping sub-groups. For a given record, the processing device determines which of the sub-groups the given record is associated with, and for each of the sub-groups associated with the given record, checks if a sampling rate of the sub-group is less than a specified sampling rate. If the sampling rate of each of the sub-groups is less than the specified sampling rate, the processing device samples the given record, and otherwise does not sample the given record. The determine, check and sample operations are repeated for additional records, and samples resulting from the sample operations are processed to generate information characterizing the database.

Abstract: A processing device of an information processing system is operative to obtain a plurality of records, documents, web pages or other data objects, and to construct a binary tree using a bipartition procedure in which subsets of the data objects are associated with respective nodes of the tree. Evaluation of a designated modularity for a given one of the nodes of the tree is used as a stopping criterion to prevent further partitioning of that node and to indicate designation of that node as a leaf node of the tree. The resulting leaf nodes of the tree provide a non-overlapping partitioning of the plurality of data objects. The processing device is further operative to perform a neighborhood search on the tree to identify pairs of the plurality of data objects that match the same entity, and to store an indication of the matching pairs of data objects.

Abstract: Full-chip scan data can be advantageously used during design planning to minimize top-level scan wires and scan feedthroughs. The scan cells can be reordered using a modified cost function to promote connecting all scan cells in one plan group before crossing to a scan cell in another plan group. The modified cost function can take into account penalty parameters. The penalty parameters can include at least one of: membership in a plan group or a top-level physical hierarchy, size of a plan group, FLOATING/ORDERED scan element in scan data, location of endpoints of an ORDERED list, location of endpoints of a macro, and membership in a plan group containing a STOP point. Scan data, at the block-level and at the top-level, can be automatically updated to reflect the plan groups and optimized scan chains.

Abstract: Methods and apparatus are provided for propagating functional dependencies with conditions. Propagation covers are computed using an SPC view of a dataset, wherein the SPC view comprises selection, projection and Cartesian product operations. Selection operations are processed to extract equivalence classes. Cartesian product operations are processed to obtain a renamed set of the plurality of conditional functional dependencies, that have attributes appearing in the SPC view. Domain constraints from the equivalence classes are applied to the renamed set to remove attributes not in the SPC view. Projection operations are processed using a reduction by resolution procedure to identify inferences that can be propagated to the SPC view from the conditional functional dependencies having attributes that do not appear in the SPC view. Domain constraints of the equivalence classes are converted to conditional functional dependencies; and a minimal cover of the SPC view is determined.

Abstract: Techniques are provided to allow global roaming between different devices in different networks, using different protocols. A system may contain one or more protocol dependent logic servers (PDLSs), in which each PDLS is associated with a particular network/network protocol. The networks may comprise one or more wired telecommunications networks, wireless communications networks, or Internet-based networks. When a first PDLS receives an incoming, protocol-dependent message comprising a first protocol from a first network intended for a user currently registered on another network, the first PDLS converts the protocol-dependent message into an incoming, protocol-independent message and forwards it to another network element, such as a core logic server (CLS). The CLS processes the incoming, protocol-independent message, generates an appropriate outgoing protocol-independent message and forwards this message to a second PDLS.

Abstract: Methods and apparatus are provided for discovering minimal conditional functional dependencies (CFDs). CFDs extend functional dependencies by supporting patterns of semantically related constants, and can be used as rules for cleaning relational data. A disclosed CFDMiner algorithm, based on techniques for mining closed itemsets, discovers constant minimal CFDs. A disclosed CTANE algorithm discovers general minimal CFDs based on the levelwise approach. A disclosed FastCFD algorithm discovers general minimal CFDs based on a depth-first search strategy, and an optimization technique via closed-itemset mining to reduce search space.

Abstract: An optimized gateway selection process of the present invention is based on a universal mobility manager (UMM), a component for inter-technology location management. The UMM is capable of holding location information for diverse cellular networks, as well as for Internet telephony systems. For cellular networks, UMM acts as a traditional HLR; for an Internet telephony network, it acts as the entities that are responsible for user/terminal registration (registrar in SIP, gatekeeper in H.323) and address resolution (proxy server in SIP, gatekeeper in H.323). An optimal gateway selection is possible based on location related information provided by the UMM which had not previously been available. Utilizing the newly available information enables a gateway to be selected which may, for example, enable the circuit switched portion of a call to now be minimized.

Abstract: An optimized gateway selection process of the present invention is based on a universal mobility manager (UMM), a component for inter-technology location management. The UMM is capable of holding location information for diverse cellular networks, as well as for Internet telephony systems. For cellular networks, UMM acts as a traditional HLR; for an Internet telephony network, it acts as the entities that are responsible for user/terminal registration (registrar in SIP, gatekeeper in H.323) and address resolution (proxy server in SIP, gatekeeper in H.323). An optimal gateway selection is possible based on location related information provided by the UMM which had not previously been available. Utilizing the newly available information enables a gateway to be selected which may, for example, enable the circuit switched portion of a call to now be minimized.

Abstract: Full-chip scan data can be advantageously used during design planning to minimize top-level scan wires and scan feedthroughs. The scan cells can be reordered using a modified cost function to promote connecting all scan cells in one plan group before crossing to a scan cell in another plan group. The modified cost function can take into account penalty parameters. The penalty parameters can include at least one of: membership in a plan group or a top-level physical hierarchy, size of a plan group, FLOATING/ORDERED scan element in scan data, location of endpoints of an ORDERED list, location of endpoints of a macro, and membership in a plan group containing a STOP point. Scan data, at the block-level and at the top-level, can be automatically updated to reflect the plan groups and optimized scan chains.

Abstract: A method and a system for providing a connection to a subscriber having multiple subscriber devices utilizing different communications protocols are disclosed. The subscriber is associated with an address to which incoming calls are addressed. The method and system provide for completing an incoming call to the subscriber address via one of the subscriber devices, where the device is selected from the subscriber devices based on a subscriber profile. The profile generally includes respective service profiles for each of the communications protocols utilized to establish the call, respective service profiles for each of the subscriber devices, and a user destination selection policy describing routing parameters that determine routing of the call to one or more of the subscriber devices.

Abstract: The call forwarding is provided within and between telephone networks by establishing a generalized procedure for call delivery and call forwarding. Network protocols are addressed using a common framework for processing call delivery and call forwarding among any combination of different types of networks. An “integrated location management” component realizes the generalized procedure. The integrated location management component is a device capable of holding location information for diverse cellular networks, including Internet telephony systems. The inventive system and method executes generalized call delivery and call forwarding for calls among different types of telephone networks, including wireless networks and Internet networks. The calls may originate from any type of telephony network. Having been initially directed to any of these networks, calls can then be call forwarded to any of these networks.

Abstract: The present invention provides a method for verifying trace lengths and trace spaces in a circuit. The method includes the steps of: retrieving information of a trace layout of the circuit; retrieving preset design rules on the trace lengths and the trace spaces of the trace layout; computing trace lengths and trace spaces of traces in the trace layout; verifying trace lengths and trace spaces in the trace layout by comparing the computed trace lengths and trace spaces of the traces with the preset design rules; and reporting results of the verifying step. A related system is also provided.

Abstract: A grammar for mapping a first grouping of XML data into a second grouping of XML data and a method for accomplishing same to incorporate the first grouping into the second grouping. The grammar includes a first rule for computing a first child element attribute and a second rule for computing a second parent element attribute. The first rule and second rule vary according to a production of an element type of the first grouping. The element types include PCDATA, disjunctive, conjunctive and Kleene star, each having a unique rule set for defining inherited and synthesized attributes of the parent and child elements. The method includes the step of executing a mapping of a first grouping having at least one parent element and a set of corresponding child elements into a second grouping in accordance with the grammar rules based on the production of the element type.

Abstract: A system for remote controlling of a media player includes a host computer (1), a display (2), and a remote controller (3). The remote controller is used for inputting commands for controlling a media player (8), and generating consumer infrared (CIR) signals according to the commands. The host computer includes: a CIR signal processing module (14) for receiving and modulating the CIR signals from the remote controller; an audio DJ data processing module (15) for analyzing and transforming the CIR signals to audio DJ data, and sending the audio DJ data to control the media player; and a Liquid Crystal Display (LCD) controlling module (16) for receiving and controlling media information to be displayed on an LCD panel (10). A related method is also disclosed.

Abstract: A computer system for displaying media playing information includes: media playing software installed in a host computer (1) for playing media files; a media playing controller (11) enchased on a front panel of the host computer for receiving user-input commands to control the media playing software; an LCD (Liquid Crystal Display) panel (12); a motherboard (2) including a CPU (Central Processing Unit) (21) and a south bridge chipset (22) for obtaining the media playing information from the media playing software; and a plug-in board (3) including: a PCI (Peripheral Component Interface) chipset (31) for receiving the media playing information from the motherboard; a media information obtaining module (32) for obtaining the media playing information from the PCI; and a media information displaying module (33) for controlling the LCD panel to display the media playing information. A related method is also disclosed.

Abstract: A system for controlling a media player with a media controller includes a host computer (1), a media controller (11), and a Liquid Crystal Display (LCD) panel (12). The media controller is used for users to input commands of controlling the media player, and generating media control signals according to the commands. The LCD panel is used for displaying media information from a media player (6) installed in an operation system of the host computer. A motherboard (10) of the host computer includes: an audio DJ data processing module (103) for receiving media control signals, transforming the media control signals to audio DJ data, and sending the audio DJ data through a south bridge (102) to the media player to play media; and an LCD controlling module (104) for receiving and processing media information, controlling the media information to be displayed on the LCD panel. A related method is also disclosed.

Abstract: The present invention provides a method for verifying trace lengths and trace spaces in a circuit. The method includes the steps of: retrieving information of a trace layout of the circuit; retrieving preset design rules on the trace lengths and the trace spaces of the trace layout; computing trace lengths and trace spaces of traces in the trace layout; verifying trace lengths and trace spaces in the trace layout by comparing the computed trace lengths and trace spaces of the traces with the preset design rules; and reporting results of the verifying step. A related system is also provided.

Abstract: The call forwarding is provided within and between telephone networks by establishing a generalized procedure for call delivery and call forwarding. Network protocols are addressed using a common framework for processing call delivery and call forwarding among any combination of different types of networks. An “integrated location management” component realizes the generalized procedure. The integrated location management component is a device capable of holding location information for diverse cellular networks, including Internet telephony systems. The inventive system and method executes generalized call delivery and call forwarding for calls among different types of telephone networks, including wireless networks and Internet networks. The calls may originate from any type of telephony network. Having been initially directed to any of these networks, calls can then be call forwarded to any of these networks.

Abstract: Global Roaming, i.e., the combination of terminal and user mobility, requires the technology independent notion of a user who owns multiple devices. Any network infrastructure that supports global roaming needs to model and manage this user concept in a multi-technology subscriber database. This modeling not only requires the novel assignment of traditional subscriber attributes to the now separated entities of users, terminals, and addresses. For backward compatibility reasons, it also has to be compliant with the standard, single-technology subscriber models. Moreover, user configured inter-technology dependencies between service settings need to be taken into account to (1) enforce external integrity constraints, and (2) reduce space consumption of the multi-protocol subscriber base. The present invention a methodology for connecting to a subscriber having multiple devices accessible via a communications network and utilizing differing communications protocols.