Class / Patent application number | Description | Number of patent applications / Date published |
706058000 | Temporal logic | 42 |
20090024557 | Clause and Proof Tightening - A computer-implemented method for verification of a target system includes defining a formula describing the target system, the formula including clauses, which include variables and which express constraints on states of the target system. The formula is processed so as to derive, using the clauses, a proof relating to a property of the target system. After deriving the proof, a variable that has a constant value is identified in the proof. The number of the variables in the proof is reduced using the identified variable, thereby producing a tightened expression, which is applied in making a determination of whether the target system satisfies the formula. | 01-22-2009 |
20090313206 | APPARATUS AND METHOD FOR PARSING OF EXTENSIBLE MEDIA - The present invention relates to an apparatus and a method for parsing of extensible media. In the present invention, neo-data including additional media are extracted from meta data of the extensible media by analyzing the extensible media, and a neo-data track is extracted from the extensible media and transmitted to a means for controlling the extensible media. According to the present invention, it is advantageous to maximize an extensible media service effect by providing a method for more effectively parsing extensible media having a new structure that can add device control for a realistic service and synchronization information to general media. | 12-17-2009 |
20100017359 | CONSTRUCTING A COMPREHENSIVE SUMMARY OF AN EVENT SEQUENCE - The present invention provides a method and system for constructing one or more a comprehensive summaries of event sequence(s). The present invention approaches the problem of finding the shortest yet most comprehensive summary of an event sequence by transforming this summarization problem into a concrete optimization problem and provides a computer-implementing technique for solving this optimization problem to construct and/or form the basis for constructing the summaries. The summaries describe an entire event sequence while at the same time reveal local associations between events of that sequence. In certain embodiments, the segmentation of the event sequence produced in accordance with the present invention is itself a summary of the event sequence. In other embodiments, the segmentation produced forms a basis for one or more summaries. | 01-21-2010 |
20100114813 | METHOD AND RHYTHM EXTRACTOR FOR DETECTING AND ISOLATING RHYTHMIC SIGNAL FEATURES FROM AN INPUT SIGNAL USING THE WAVELET PACKET TRANSFORM - A method of detecting and isolating at least one rhythmic component from a discrete-time input signal, comprises subjecting the input signal to discrete wavelet packet transform multi-resolution analysis; applying wavelet packet basis selection criteria to the result of the analysis to evaluate rhythmic signal features of the input signal; and isolating at least one rhythmic signal component from the input signal based on the evaluation. | 05-06-2010 |
20100138380 | Action Agenda Determining Apparatus - In one embodiment of the present invention, an action agenda determining apparatus for determining an agenda of action to be taken with reference to surrounding situation is provided. An action agenda determining apparatus includes a matching model storage unit for storing an action agenda determining model that has learned in advance relation between time-sequence of prescribed feature information related to human motion extracted from surrounding images and action agenda to be taken, and a model reference unit for forming the time-sequence of prescribed feature information from the surrounding motion images and referring to the action agenda determining model stored in the matching model storage unit, for determining the action agenda to be taken. Sound may be included as part of the feature information. | 06-03-2010 |
20100198776 | SYSTEM AND METHOD FOR DEPENDENCY AND ROOT CAUSE DISCOVERY - The embodiments described herein describe a computerized system and method for retrieving and processing data to provide dependency and root cause information for a process. The computerized system and method include receiving historic data of the process, detecting temporal dependency or precedence tasks in the process from the historic data, generating a historic dependency graph, aggregating the historic dependency graph into a probabilistic precedence network (PPN), pruning the PPN, and presenting results to a user. | 08-05-2010 |
20100217744 | METHOD AND SYSTEM TO RECOGNIZE TEMPORAL EVENTS USING ENHANCED TEMPORAL DECISION TREES - An enhanced temporal decision tree is described that allows a temporal feature to be tested at a node not merely at a given time instant but, rather, over a time window. Further, the recorded temporal data can be multi-source, with features recorded from multiple sources; multi-resolution, through subsampling; multi-scale, based on varying time windows; and multi-domain, through sampling in the frequency domain, for example. By allowing features to be tested over a time window, enhanced temporal decision trees can be used to classify any temporal data or time series. | 08-26-2010 |
20100280988 | Detecting, Representing, and Interpreting Three-Space Input: Gestural Continuum Subsuming Freespace, Proximal, and Surface-Contact Modes - Systems and methods for detecting, representing, and interpreting three-space input are described. Embodiments of the system, in the context of an SOE, process low-level data from a plurality of sources of spatial tracking data and analyze these semantically uncorrelated spatiotemporal data and generate high-level gestural events according to dynamically configurable implicit and explicit gesture descriptions. The events produced are suitable for consumption by interactive systems, and the embodiments provide one or more mechanisms for controlling and effecting event distribution to these consumers. The embodiments further provide to the consumers of its events a facility for transforming gestural events among arbitrary spatial and semantic frames of reference. | 11-04-2010 |
20110066588 | CONSTRUCTION OF PHOTO TRIP PATTERNS BASED ON GEOGRAPHICAL INFORMATION - Techniques for reconstructing photo trip patterns from geo-tagged photos are described. Photo trip patterns are reconstructed by mining geo-tagged photos from the Web or a data storage and segmenting the photos based on at least the geographical identification information associated with the photos. Mining semantics of each photo trip pattern may also be performed using tags associated with the photos. | 03-17-2011 |
20110131172 | IDENTIFYING GEOSPATIAL PATTERNS FROM DEVICE DATA - Determining geospatial patterns from device data collected from a plurality of computing devices. The devices represent, for example, a plurality of sources providing the device data. The device data describes the computing devices and/or environments thereof. Some embodiments present the determined patterns to users for editing, update maps with the edited patterns, and distribute the maps to the users. The maps are stored to create a searchable map library. | 06-02-2011 |
20110191284 | Temporal-Influenced Geospatial Modeling System and Method - A temporal-influenced geospatial modeling system and method forecasts the likelihood of desirable and undesirable events. In one aspect, the present invention designates at least one temporal feature, determines an intensity function representing an expected value of event type instances corresponding to the temporal feature, determines a time window break associated with the intensity function and assesses whether the time window break is a critical time point for the event type. | 08-04-2011 |
20120036103 | Apparatus for determining association variables - An apparatus, and related method, for identifying one or more association variables is described. The apparatus includes at least one processor, at least one memory, and at least one program module stored in the memory configured to be executed by the processor. The program module includes instructions for selecting a subset of temporal onsets in a set of temporal onsets, instructions for determining a statistical relationship between the subset and a pattern of occurrence of a variable, and instructions for identifying the variable as an association variable in accordance with the statistical relationship. The subset includes one or more first temporal onsets corresponding to one or more instances of an event, and the set of temporal onsets includes the subset of temporal onsets and one or more second temporal onsets corresponding to one or more instances of a reoccurrence event. | 02-09-2012 |
20120101976 | Temporally Sequenced Recommendations and Associated Explanations in Subscription-based Systems - A computer-implemented method and system for temporally sequenced recommendations and associated explanations in subscription-based systems delivers to users of a subscription-based system multiple recommended objects that are arranged in a temporal sequence. The delivered recommended objects are in accordance with user subscriptions and inferences of preferences that are based, at least in part, on usage behaviors. Variations of the system and method include delivering recommended objects in accordance with the contents of the objects and user direct feedback with regard to the objects. Information as to why objects were delivered to users is provided to the users. | 04-26-2012 |
20120143815 | INFERRING INFLUENCE AND AUTHORITY - A computer model finds an originating community member or members, for instance amongst bloggers, scientific researchers, or phenomena in phenomenological systems. In one embodiment, non-explicit causal relationships may be inferred from comparing blogs as a whole. Influence relationships are derived from a weighted, directed graph output and sources of influence are ranked. This implementation is useful for a variety of applications. | 06-07-2012 |
20120239607 | DEVICE AND METHOD FOR RECOGNIZING USER BEHAVIOR - A device for recognizing user behavior is provided, which includes: a position data receiving unit configured to receive user position data and adjust the data based on time to obtain user position data in time series; a data pretreating unit configured to pretreat the user position data in time series; a feature vector extracting unit configured to extract a feature vector for recognizing a type of a user activity according to the pretreated user position data; and a user behavior recognizing unit configured to recognize the type of a user activity according to the feature vector extracted by the feature vector extracting unit and to obtain behavior features of the user. A method for recognizing user behavior is also provided. Deep level behavior features of the user can be obtained, such that the recognition result for each user can be more accurate and richer. | 09-20-2012 |
20120246108 | EFFICIENT SOURCE OF INFEASIBILITY IDENTIFICATION IN TIMED AUTOMATA TRACES - A method for verifying the performance of a real-time system modeled as a timed automaton. An abstract model of the system is checked against an initial Linear Temporal Logic specification. If a path to an undesirable state is found, the counterexample is validated or invalidated using negative cycle detection. If a negative cycle is detected, optimization is undertaken to identify a minimal infeasible fragment in the negative cycle. The specification is then refined to eliminate usage of the minimal infeasible fragment, and the abstract model is then checked against the refined specification. | 09-27-2012 |
20120246109 | Critical Threshold Parameters for Defining Bursts in Event Logs - Systems and methods for determining critical thresholds on a number of events (k) and a window length (t) for properly defining a burst of events in a data stream. A new coverage metric C | 09-27-2012 |
20120254102 | SYSTEM AND METHOD TO CALCULATE TIME WEIGHT IN RDF GRAPHS - Method to calculate time weight in an RDF graph, including: providing one or more triples of the RDF graph to an inference engine module, the one or more triples comprising a time information; providing a reference time to the inference engine; calculating an elapsed time from the reference time to the time value; and inversely weighting the time information by the elapsed time to provide a calculated time weight. Another embodiment may provide a method to update a time weight of a relation when an RDF graph has been added to or deleted from the relation. Another embodiment may provide a method to update a time weight of a relation represented by an RDF graph, when a new reference timestamp is provided. Another embodiment may provide a system to calculate time weight in an RDF graph. | 10-04-2012 |
20130185247 | Computer-Implemented System And Method For Identifying Tasks Using Temporal Footprints - A computer-implemented system and method for identifying tasks using temporal footprints is provided. A database of temporal footprints is maintained. Each temporal footprint is representative of a different task and includes one or more significant patterns of two or more sequential events. Events performed by one or more users are tracked. At least one pattern including sequential occurrences of two or more of the tracked events is identified. The identified pattern is compared to each of the significant patterns of the temporal footprints. A footprint score for the identified pattern is determined with respect to each temporal footprint. The task associated with the temporal footprint having the highest footprint score is assigned to the identified pattern. | 07-18-2013 |
20130191321 | Method and Apparatus for Providing Charging State Alerts - A computer implemented method includes determining whether a time of day corresponds to a charging window, responsive to a determination that a vehicle is in a non-charging state. The method also includes retrieving a start time and charge requirement for an upcoming journey. The method further includes determining if sufficient time remains to charge a vehicle to the charge requirement, responsive to a determination that the time of day corresponds to the charging window. Also, the method includes alerting a user to the non-charging state, responsive to a determination that insufficient time remains to charge the vehicle to the charge requirement. | 07-25-2013 |
20140019403 | TRANSACTION SERVER PERFORMANCE MONITORING USING COMPONENT PERFORMANCE DATA - Embodiments of the present invention provide a method, system and computer program product for predicting transaction server performance failure in a transaction processing environment. In an embodiment of the invention, a method for predicting transaction server performance failure in a transaction processing environment is provided. The method includes receiving a performance metric for a transaction server during nominal operation of the transaction server in memory of a computing system and comparing the performance metric to a benchmark of performance metrics for the transaction server. Thereafter, in response to the performance metric falling outside a threshold variance from the benchmark, an alert is generated of a potential impending failure of the transaction server. | 01-16-2014 |
20140181001 | RECOMMENDING ELECTRONIC CONTENT BASED UPON USER AVAILABLITY - Embodiments of the present invention provide a system, method, and program product for recommending a digital publication. A computing device identifies a time interval for consuming a digital publication, based on schedule information in an electronic calendar. The computing device determines, based on characteristics of the time interval and a criteria, a digital publication, from a plurality of digital publications, for human consumption within the identified time interval. | 06-26-2014 |
20140201127 | TRAVEL PROCESS PREDICTION SYSTEM, TRAVEL PROCESS PREDICTION APPARATUS AND NON-TRANSITORY RECORDING MEDIUM - An information acquiring apparatus acquires, when a travel object such as a traveler travels with transportation, passage time at which the travel object passes through each passage point at a departure/arrival facility, transportation specifying information indicating transportation, situation information indicating a situation and so forth. The travel process prediction apparatus stores the acquired information in an associated manner, and obtains a regression equation representing the relationship between items included in the transportation specifying information or situation information and passage time at a specific passage point, elapsed time while the travel object passes through two specific passage points or a result of comparison between the passage time and boarding completion time. The travel process prediction apparatus calculates a predicted value of future passage time, elapsed time or a result of comparison by substituting the content of the expected transportation specifying information or situation information for the regression equation. | 07-17-2014 |
20140297582 | Movable Storage - A mobile storage system is disclosed that in one aspect identifies a geographical location change of a user, such as movement from a first geographical location to a second geographical location. In response, the mobile storage system may move the user's information to a storage device associated with the second geographical location so that the user's information may be accessed by the user more efficiently. | 10-02-2014 |
20140330765 | SYSTEM AND METHOD FOR IMPLEMENTING A LEARNING MODEL FOR PREDICTING THE GEOGRAPHIC LOCATION OF AN INTERNET PROTOCOL ADDRESS - A system and method for implementing a learning model for predicting the geographic location of an Internet Protocol (IP) address are disclosed. A particular embodiment of the system and method includes receiving a model to predict a geographic coordinates position of an Internet Protocol (IP) address, the model including one or more parameters and one or more variables associated with coordinates of the IP address and corresponding information associated with the IP address; receiving training data including a plurality of pairs of coordinates of a target IP address and corresponding information associated with the target IP address; determining, by use of a processor, the one or more parameters based on the training data and the model; and returning a result including information indicative of the determined parameters. | 11-06-2014 |
20140351199 | METHOD AND APPARATUS FOR DYNAMICALLY PREDICTING WORKLOAD GROWTH BASED ON HEURISTIC DATA - The disclosure provides a method and system for elastic computing that includes the steps of presenting an interface for user entry of a threshold upper limit for compute pool consumption, a threshold lower limit for compute pool consumption, and a threshold time for the out of range condition. The policy engine of the controller node monitors consumption and expands or shrinks the compute pool. | 11-27-2014 |
20140358843 | Determining Related Data Points from Multi-Modal Inputs - Techniques, systems, and articles of manufacture for determining related data points from multi-modal inputs. A method includes collecting multiple items of multi-modal data comprising at least one dimension from multiple data sources, wherein said at least one dimension comprises a geographic dimension, a temporal dimension and/or an event-related dimension, determining a window of relevance for each of the multiple items of multi-modal data with respect to the at least one dimension, and identifying two or more of the multiple items of multi-modal data as related, by determining an overlap of the window of relevance corresponding to each of the two or more items of multi-modal data with respect to the at least one dimension. | 12-04-2014 |
20140365422 | FAILURE PREDICTION BASED PREVENTATIVE MAINTENANCE PLANNING ON ASSET NETWORK SYSTEM - A method for maintaining an asset. The method receives data associated with an one asset and other assets to which the one asset is directly or indirectly physically connected. The method determines, based on the received data, a dependency between the one asset and one or more of the other assets. The method predicts, based on the determined dependency, a failure of the one asset within a future time period. | 12-11-2014 |
20140365423 | Method For Collecting And Processing Relative Spatial Data - A method and system are disclosed for determining relative connectedness from temporal data. A user iterates through a list of items implemented on a mobile device. As each item on the list is located it is marked to generate a corresponding timestamp. The timestamps are then used to generate a timestamped list, which in turn is processed to determine the amount of elapsed time between each item on the list being located. The timestamped list data is then processed to generate relative connectedness data, which in turn is processed to generate a relative connectedness graph. The relative connectedness graph is then processed to assign coordinates to each item on the list. In turn, the coordinates are used to generate a map of the items. | 12-11-2014 |
20150066837 | METHOD FOR PREDICTING CHARGING PROCESS DURATION - A method for predicting the duration of a future charging process for a vehicle battery. The method comprises estimating a future charge amount of the battery corresponding to the start of the future charging process. The method further comprises estimating a future temperature of the battery. The method still further comprises determining a future charging power or a characteristic thereof to be applied to the battery during the future charging process, wherein the future charging power or characteristic thereof is based on the estimated future charge amount and the estimated future temperature and is representative of a charging amount or characteristic thereof that will maintain the temperature of the battery at or below a threshold temperature during the future charging process. The method still further comprises predicting a duration of the future charging process based on the estimated future charge amount and the determined future charging power or characteristic thereof. | 03-05-2015 |
20150134588 | Singularity of Presence - Methods for processing data. A first spacetime event observation is received. A second spacetime event observation is received. A singularity of presence indicator is received for a zone of space and a range of time corresponding to one or more of: the first spacetime event observation and the second spacetime event observation. It is determined whether the first spacetime event observation and the second spacetime event observation belong to a same entity using the singularity of presence indicator. | 05-14-2015 |
20150294224 | INFORMATION PROCESSING APPARATUS AND CONTROL METHOD THEREOF, AND NON-TRANSITORY COMPUTER-READABLE MEDIUM - An information processing apparatus comprises: a receiving unit that receives a request to store or acquire data from a client; a storing unit that stores the request as history information; a prediction unit that predicts a date/time at which the next request will be received based on the history information; and a notification unit that notifies the client if the next request has not been received by the date/time predicted by the prediction unit. | 10-15-2015 |
20150310112 | MANAGING QUESTIONING IN A QUESTION AND ANSWER SYSTEM - A system, a method, and a computer program product for managing questioning in a Question and Answering (QA) system are disclosed. An input question received by the QA system is analyzed to determine the set of answer-types. A set of answer-types is determined. Prompting for clarifying data associated with the input question happens. A set of candidate answers of the answer-type is determined. The clarifying data is used to determine the set of candidate answers. At least one candidate answer of the set of candidate answers of the answer-type is provided. | 10-29-2015 |
20150339579 | PREDICTION DEVICE, PREDICTION METHOD, AND COMPUTER READABLE MEDIUM - Provided are a prediction device, a prediction method, and a computer program, which related to prediction method using Taguchi-method, and which reflect, in addition to a time difference model, trends in changes over time, thus further improving prediction accuracy. For example, the prediction device determines, from signal values stored in a time series and data for each item, whether or not the signal trend of the signal values has periodicity, and if the signal trend has not periodicity, then a signal period is selected on the basis of the most recent signal trend and the MD trend for each item, and Taguchi-method is used on the data for each item and the signal values in the selected signal period, and prediction is carried out. | 11-26-2015 |
20150363699 | Method for Anomaly Detection in Time Series Data Based on Spectral Partitioning - Anomalies in real time series are detected by first determining a similarity matrix of pairwise similarities between pairs of normal time series data. A spectral clustering procedure is applied to the similarity matrix to partition variables representing dimensions of the time series data into mutually exclusive groups. A model of normal behavior is estimated for each group. Then, for the real time series data, an anomaly score is determined, using the model for each group, and the anomaly score is compared to a predetermined threshold to signal the anomaly. | 12-17-2015 |
20150371144 | CYCLIC PREDICTIONS MACHINE - Determining the value of an item or event at a point in time or over a targeted period of time based on the values of the item over a past era. During the past era, data is obtained to represent the changes to the value during the era. This data is iteratively processed by: smoothing the curve, subtracting the smooth curve from the original curve to obtain a next level curve and repeating the process. After several iterations, a set of smoothed out curves are obtain and the projected time-wise to encompass the targeted time or period of time. Once projected, the curves are then combined together and the value at the targeted time or period of time can then be ascertained. | 12-24-2015 |
20150379410 | METHOD AND APPARATUS FOR GENERATING DATA IN A MISSING SEGMENT OF A TIME DATA SEQUENCE - A method and an apparatus for generating data in a missing segment of a target time data sequence are disclosed. The method includes: determining whether there is a breakpoint in the missing segment; determining candidate values of the data in the missing segment; and generating values of the data in the missing segment by selectively using the candidate values of the data in the missing segment, according to whether there is the breakpoint in the missing segment. With the method and the apparatus, the data in the missing segment of the target time data sequence can be generated more accurately. | 12-31-2015 |
20160148102 | System and Method for Parallel Processing Prediction - Systems, methods, and computer program products are provided for space-time complexity speedup for computer algorithms in terms of processing time as a function of dataset size and type, showing serial, sub-linear, linear and superlinear speedup. Serial and parallel effects can be processed and calculated from a decomposed algorithm's sequential functional components, allowing the identification and use of the parallelizable components. | 05-26-2016 |
20160189044 | Traffic Prediction Using Real-World Transportation Data - Real-time high-fidelity spatiotemporal data on transportation networks can be used to learn about traffic behavior at different times and locations, potentially resulting in major savings in time and fuel. Real-world data collected from transportation networks can be used to incorporate the data's intrinsic behavior into a time-series mining technique to enhance its accuracy for traffic prediction. For example, the spatiotemporal behaviors of rush hours and events can be used to perform a more accurate prediction of both short-term and long-term average speed on road-segments, even in the presence of infrequent events (e.g., accidents). Taking historical rush-hour behavior into account can improve the accuracy of traditional predictors by up to 67% and 78% in short-term and long-term predictions, respectively. Moreover, the impact of an accident can be incorporated to improve the prediction accuracy by up to 91%. | 06-30-2016 |
20160196494 | LOCATION ANALYSIS FOR ANALYTICS | 07-07-2016 |
20160253591 | METHOD AND APPARATUS FOR MANAGING PERFORMANCE OF DATABASE | 09-01-2016 |
20180025280 | Evaluating Temporal Relevance in Cognitive Operations | 01-25-2018 |