Abstract: Disclosed embodiments provide techniques for intelligent media sharing with visualized positioning layout in real time. A floor plan is retrieved corresponding to the physical location of a sender electronic device. A zone boundary corresponding to the physical location of the sender electronic device is determined. A list of potential recipient electronic devices within the zone boundary is generated. A floor plan view is rendered on the sender electronic device. A graphical representation of the potential recipient electronic devices on the floor plan view is rendered, overlaid in a semi-transparent manner with a media selection interface on the sender electronic device. A selection is received for one or more media items using the media selection interface. A send request is received for one or more potential recipients, resulting in sending the one or more media items to at least one potential recipient in response to receiving a user interface request action.

Abstract: A smart self-driving system includes a body, such as a piece of luggage, supported by a plurality of wheel assemblies. At least one wheel assemblies includes a wheel rotating motor configured to rotate a wheel of the wheel assembly to move the luggage in a given direction. At least one wheel assemblies includes a wheel orientation sensor configured to measure the orientation of the wheel. At least one wheel assembly includes a wheel orientation motor configured to orient the wheel in the given direction. The smart self-driving system is configured to move in forward direction that is different than a head direction of the body.

Abstract: A method for indexing with redundant information. The method may identify unknown code points for a document in response to an indexing request for the document. The method may further convert the identified unknown code points into a plurality of converted code points. Each set of converted code points of the plurality uses a different codepage. The method may further identify sets of same code points and sets of redundant code points from the plurality of converted code points. The method may build an index based on the sets of same code points and the sets of redundant code points.

Abstract: A method for verifying data consistency between update-in-place data structures and append-only data structures containing change histories associated with the update-in-place data structures is provided. The method includes loading data from an update-in-place data structure to a first set of hash buckets in a processing platform, loading data from append-only data structures to a second set of hash buckets in the processing platform, performing a bucket-level comparison between the data in the first set of hash buckets and the data in the second set of has buckets, and generating a report based on the bucket-level comparison.

Abstract: A method for indexing with redundant information. The method may identify unknown code points for a document in response to an indexing request for the document. The method may further convert the identified unknown code points into a plurality of converted code points. Each set of converted code points of the plurality uses a different codepage. The method may further identify sets of same code points and sets of redundant code points from the plurality of converted code points. The method may build an index based on the sets of same code points and the sets of redundant code points.

Abstract: In one embodiment, a method includes: obtaining location information and motion information of a wireless communication apparatus, and a data set from one or more information sources external to the wireless communication apparatus; and organizing data of the data set for display, where the organizing is based on the location and motion information of the wireless communication apparatus. Methods of other embodiments may also include defining a search radius based on the location information and motion information of the wireless communication apparatus, and the organizing may also include filtering the data set from the one or more information sources to exclude data from information sources outside the defined search radius.

Abstract: A method for verifying data consistency between update-in-place data structures and append-only data structures containing change histories associated with the update-in-place data structures is provided. The method includes loading data from an update-in-place data structure to a first set of hash buckets in a processing platform, loading data from append-only data structures to a second set of hash buckets in the processing platform, performing a bucket-level comparison between the data in the first set of hash buckets and the data in the second set of has buckets, and generating a report based on the bucket-level comparison.

Abstract: A computer implemented method for selecting breakpoints for cross-layer debugging is provided. The method includes receiving code comprising a plurality of layers, and executing a static analysis of the code to obtain a use-definition (UD) chain, alias information, and a parameter mapping for each of the plurality of layers. The method also includes determining a statement of the code that produces one of an error and a failure, and generating a table comprising a plurality of fields including a working statement field, watching variable field, and a watching function field. The method includes adding the determined statement to the working statement field and performing a cross-layer analysis includes identifying at least one used variable and its associated alias as watching variables from the added working statement, searching the code based on the watching variable field. The method includes generating cross-layer suspect code points based on the cross-layer analysis.

Abstract: A manufacturing method of a semiconductor structure includes the following steps. A first polysilicon layer is formed on a substrate. A planarization process to the first polysilicon layer is performed. A first etching back process to the first polysilicon layer is performed after the planarization process. A second etching back process to the first polysilicon layer is performed after the first etching back process. A first wet clean process to the first polysilicon layer is performed after the first etching back process and before the second etching back process.

Abstract: A manufacturing method of a semiconductor structure includes the following steps. A first polysilicon layer is formed on a substrate. A planarization process to the first polysilicon layer is performed. A first etching back process to the first polysilicon layer is performed after the planarization process. A second etching back process to the first polysilicon layer is performed after the first etching back process. A first wet clean process to the first polysilicon layer is performed after the first etching back process and before the second etching back process.

Abstract: Systems and methods of the present disclosure provide a way to pinpoint where a target device associated with an IP address is physically located within a geographical region. Network-communication delays between landmark devices and the target device are determined and used to generate sequences capturing relative delay relationships between the landmark devices and the target device. The sequences are used to determine a ranking via a sequence-matching approach. For each pair of landmark devices, a geographical boundary that divides the geographical region into a target partition and a second partition is determined. The target partition includes a first landmark device of the pair and the second partition includes a second landmark device of the pair. The target device is located where the target partitions for the pairs overlap. Network tomography can be applied to increase accuracy.

Abstract: In an approach to quick browsing of content displayed on a computing device, a computer monitors a scrolling operation in a first display mode on a computing device in which a plurality of information items are displayed. The computer determines whether a speed of the scrolling operation exceeds a threshold value, and then in response to the speed of the scrolling operation exceeding a threshold value, switches the first display mode to a second display mode.

Abstract: Embodiments of the present invention allow a user to input text on electronic devices with touch-sensitive surfaces without physical or virtual keyboards. In operation, a user may touch a certain position on a border of the touch-sensitive surface. A position corresponding to the detected touch is determined from among a plurality of predefined positions distributed along the border. In response, a character associated with the determined position is determined and input into the device.

Abstract: An approach is provided that receives, from a radio frequency identification (RFID) tag included with a device, at least three different charge times. Each of the charge times corresponds to a different RFID reader that separately charges the RFID tag with each of the RFID readers being at a different geographic location. A distance between each of the RFID readers and the RFID tag is approximated based on the respective charge times and these approximate distances are used to identify a geographic position of the RFID tag using trilateration. The geographic position of the RFID tag is then used to determine whether to allow the device wireless access to a computer network.

Abstract: A method for verifying data consistency between update-in-place data structures and append-only data structures containing change histories associated with the update-in-place data structures is provided. The method includes loading data from an update-in-place data structure to a first set of hash buckets in a processing platform, loading data from append-only data structures to a second set of hash buckets in the processing platform, performing a bucket-level comparison between the data in the first set of hash buckets and the data in the second set of has buckets, and generating a report based on the bucket-level comparison.

Abstract: In one embodiment, a method includes: obtaining location information and motion information of a wireless communication apparatus, and a data set from one or more information sources external to the wireless communication apparatus; and organizing data of the data set for display, where the organizing is based on the location and motion information of the wireless communication apparatus. Methods of other embodiments may also include defining a search radius based on the location information and motion information of the wireless communication apparatus, and the organizing may also include filtering the data set from the one or more information sources to exclude data from information sources outside the defined search radius.

Abstract: Disclosed aspects relate to symbol management. A set of depictogram usage information may be mined with respect to a set of depictograms. A set of language attributes for the set of depictograms may be determined based on the set of depictogram usage information. A depictogram reference object may be compiled using the set of language attributes for the set of depictograms. A set of input data which includes a subset of the set of depictograms may be analyzed. The subset of the set of depictograms may be evaluated using the depictogram reference object. A set of output data may be provided.

Abstract: A system, method and computer program product to refine an original complex CFG into a simpler CFG showing interesting paths and reducing interfering paths with dynamic input for the state of program. The method receives/encodes dynamic user input in the form of annotations which encodes user's special interests or knowledge of the program at run time, e.g., some assumptions of any variables appeared, which can be equations of variable and value or relationships between variables. The method then simplifies all the branching points in a generated AST (Abstract Syntax Tree) whenever possible by querying a SMT (Satisfiability Modulo Theories) solver with branching condition and the user annotations and by evaluating immediate values of expressions or eliminate unreachable parts in the CFG. Finally, the method generates a simplified CFG by simplified AST. This can assist a programmer to understand the code and facilitates correlating different basic blocks under a same scenario.

Abstract: In one embodiment, a computer-implemented method includes extracting one or more keywords from summarized content according to one or more classified topics. The method also includes searching for visual aid elements that relate to the one or more keywords in a visual aid element repository that stores a plurality of visual aid elements. In addition, the method includes selecting one or more visual aid elements from the visual aid element repository based on a type of the one or more classified topics. Also, the method includes generating at least one visual aid object using the one or more visual aid elements based on at least one predefined visual aid template. Moreover, the method includes delivering the at least one visual aid object to one or more registered devices of at least one user.

Abstract: A computer implemented method for selecting breakpoints for cross-layer debugging is provided. The method includes receiving code comprising a plurality of layers, and executing a static analysis of the code to obtain a use-definition (UD) chain, alias information, and a parameter mapping for each of the plurality of layers. The method also includes determining a statement of the code that produces one of an error and a failure, and generating a table comprising a plurality of fields including a working statement field, watching variable field, and a watching function field. The method includes adding the determined statement to the working statement field and performing a cross-layer analysis includes identifying at least one used variable and its associated alias as watching variables from the added working statement, searching the code based on the watching variable field. The method includes generating cross-layer suspect code points based on the cross-layer analysis.