摘要:
The claimed subject matter provides systems and/or methods that facilitate automatically maintaining a database of base stations. A location component can obtain a query that includes a listing of detected base stations. Additionally, the location component can identify whether the detected base stations are included in a base station database. Further, the location component can generate an estimated location related to the query. Moreover, a database update component can modify the base station database based at least in part upon the query.
摘要:
Systems and methods that facilitate dimensional transformations of data points are disclosed. In particular, the subject invention provides for a system and methodology that simplifies dimensional transformations while mitigating variations of a distance property between pairs of points. A set of n data points in d dimensional space is represented as an n×d input matrix, where d also corresponds to the number of attributes per data point. A transformed matrix represents the n data points in a lower dimensionality k after being mapped. The transformed matrix is an n×k matrix, where k is the number of attributes per data point and is less than d. The transformed matrix is obtained by multiplying the input matrix by a suitable projection matrix. The projection matrix is generated by randomly populating the entries of the matrix with binary or ternary values according to a probability distribution. Unlike previous methods, the projection matrix is formed without obtaining an independent sample from a Gaussian distribution for each entry in the projection matrix, without applying a linear algebraic technique to generate the projection matrix and without employing arbitrary floating point numbers. Processes and/or algorithms can utilize the reduced transformed matrix instead of the larger input matrix to facilitate computational efficiency and data compression.
摘要:
Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software model describes behavior associated with software that is to be tested. Different sets of algorithms can be selected for operating on the software model to produce a sequence of test actions that are to be used to test the software. The algorithms can be mixed and matched to achieve a desired testing result. In some embodiments, the different algorithms comprise deterministic algorithms, random algorithms, and various types of algorithms therebetween. In one embodiment, the software model comprises a state graph having nodes that represent state, and links between the nodes that represent actions. The different algorithms that are available for selection can have different graph traversal characteristics such that the state graph can be traversed in different manners.
摘要:
A system is provided that facilitates information processing for a user. The system includes an analyzer to automatically determine one or more states of a user's availability based on patterns of the user's interruptability. A deferral component generates or forwards messages or alerts to the user in accordance with a cost-minimization analysis and determined availability. For example, the deferral component can process interrupts to the user and determine at least one of optimal and approximately optimal deferral times in which to direct an information item to the user, the information item being one of an email message, an incoming phone call, a push-to-talk message, an instant message, an alert, requests, offers of assistance, status or error reports, or a task from another application or autonomous system.
摘要:
The claimed subject matter provides systems and/or methods that facilitate automatically maintaining a database of base stations. A location component can obtain a query that includes a listing of detected base stations. Additionally, the location component can identify whether the detected base stations are included in a base station database. Further, the location component can generate an estimated location related to the query. Moreover, a database update component can modify the base station database based at least in part upon the query.
摘要:
A system is provided that facilitates information processing of a user. The system includes an analyzer to automatically determine one or more states of a user's availability based on patterns of the user's interruptability. A deferral component generates or forwards messages or alerts to the user in accordance with a cost-minimization analysis and determined availability. For example, the deferral component can process interrupts to the user and determine at least one of optimal and approximately optimal deferral times in which to direct an information item to the user, the information item is one of an email message, an incoming phone call, a push-to-talk message, an instant message, an alert, and requests, offers of assistance, status or error reports, or a task from another application or autonomous system.
摘要:
Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software model describes behavior associated with software that is to be tested. Different sets of algorithms can be selected for operating on the software model to produce a sequence of test actions that are to be used to test the software. The algorithms can be mixed and matched to achieve a desired testing result. In some embodiments, the different algorithms comprise deterministic algorithms, random algorithms, and various types of algorithms therebetween. In one embodiment, the software model comprises a state graph having nodes that represent state, and links between the nodes that represent actions. The different algorithms that are available for selection can have different graph traversal characteristics such that the state graph can be traversed in different manners. For example, algorithms that are more local in their traversals can be teamed with algorithms that are more global in their traversals, thus covering a wider area of the state space with good local coverage in some areas.
摘要:
Methods and systems for finding a low rank approximation for an m×n matrix A are described. The described embodiments can independently sample and/or quantize the entries of an input matrix A, and can thus speed up computation by reducing the number of non-zero entries and/or their representation length. The embodiments can be used in connection with Singular Value Decomposition techniques to greatly benefit the processing of high-dimensional data sets in terms of storage, transmission and computation.