Temporal Logic Patents (Class 706/58)
  • Patent number: 11893508
    Abstract: An analytics server for scalable predictive analysis for analytics as a software service in multi-tenant environment is provided. The analytics server automatically validates portability of a predictive model from a first tenant to a second tenant by comparing value distribution of parameters between data inputs of the first tenant and the second tenant. The analytics server further automatically detects source data changes over a configurable time horizon as relevant to predictive model inputs, by comparing value distribution of parameters between two data inputs from a same tenant separated by a selected time horizon.
    Type: Grant
    Filed: June 8, 2021
    Date of Patent: February 6, 2024
    Assignee: Digital.ai Software, Inc.
    Inventors: Rahul Kapoor, Joseph Patrick Foley, Abhijeet Anant Joshi
  • Patent number: 11731657
    Abstract: A system comprises an autonomous vehicle (AV) and a control device operably coupled with the AV. The control device detects a series of events within a threshold period of time, where a number of series of events in the series of events is above a threshold number. The series of events taken in the aggregate within the threshold period of time deviates from a normalcy mode. The normalcy mode comprises events that are expected to the encountered by the AV. The control device determines whether the series of events corresponds to a malicious event, where the malicious event indicates tampering with the AV. In response to determining that the series of events corresponds to the malicious event, the series of events are escalated to be addressed.
    Type: Grant
    Filed: February 2, 2021
    Date of Patent: August 22, 2023
    Assignee: TUSIMPLE, INC.
    Inventor: Riad I. Hammoud
  • Patent number: 11663504
    Abstract: A method for managing pool device resources, the method comprising obtaining, by a resource use manager, a plurality of data points, generating a resource prediction model based on the plurality of data points, and initiating access to a PCI bus device operating on a pool device using a virtual switch operating on a second pool device based on the resource prediction model.
    Type: Grant
    Filed: November 1, 2019
    Date of Patent: May 30, 2023
    Assignee: EMC IP HOLDING COMPANY LLC
    Inventors: Nicole Reineke, James Robert King, Robert Anthony Lincourt, Jr.
  • Patent number: 11568177
    Abstract: A sequential data analysis apparatus extracts a pattern of two or more sets of items based on an appearance frequency of each of different sets of items in first sequential data, selects a pattern of two or more sets of items based on an appearance frequency of a sub-pattern formed of a portion of the extracted pattern, creates a related pattern including the same last set of items as and the other sets of items different from the selected characteristic pattern, calculates an evaluation value of the related pattern, creates a prediction model by organizing data of the characteristic pattern and the related pattern, and applies second sequential data to the prediction model to determine a result which the second sequential data is likely to lead to.
    Type: Grant
    Filed: January 19, 2015
    Date of Patent: January 31, 2023
    Assignees: KABUSHIKI KAISHA TOSHIBA, TOSHIBA SOLUTIONS CORPORATION
    Inventors: Hideki Iwasaki, Shigeaki Sakurai, Rumi Hayakawa, Shigeru Matsumoto
  • Patent number: 11551036
    Abstract: The present disclosure provides methods and an apparatuses for building a data identification model. One exemplary method for building a data identification model includes: performing logistic regression training using training samples to obtain a first model, the training samples comprising positive and negative samples; sampling the training samples proportionally to obtain a first training sample set; identifying the positive samples using the first model, and selecting a second training sample set from positive samples that have identification results after being identified using the first model; and performing Deep Neural Networks (DNN) training using the first training sample set and the second training sample set to obtain a final data identification model. The methods and the apparatuses of the present disclosure improve the stability of data identification models.
    Type: Grant
    Filed: August 24, 2018
    Date of Patent: January 10, 2023
    Assignee: Alibaba Group Holding Limited
    Inventors: Xiaoyan Jiang, Xu Yang, Bin Dai, Wei Chu
  • Patent number: 11518271
    Abstract: A charging control apparatus includes: a prediction unit configured to predict a change in temperature of a battery over time during charging; a calculation unit configured to calculate, based on the change in temperature over time predicted by the prediction unit, a degree of influence that the battery receives from the temperature of the battery exceeding a predetermined upper-limit temperature control value; and a charging control unit configured to allow the temperature of the battery to exceed the upper-limit temperature and charge the battery when the degree of influence is less than a predetermined reference value.
    Type: Grant
    Filed: November 27, 2020
    Date of Patent: December 6, 2022
    Assignee: HONDA MOTOR CO., LTD.
    Inventors: Yusuke Okamoto, Takeshi Fujino
  • Patent number: 11397427
    Abstract: A system for predictive analysis and/or process control, preferably including one or more communication and/or computing systems, and optionally including one or more entities and/or sensors. A method for predictive analysis and/or machine operation, preferably including receiving entity data and determining one or more latent features, and optionally including determining one or more response reconstructions, determining a processed representation of the entity data, determining entity information, and/or acting based on entity information.
    Type: Grant
    Filed: August 4, 2021
    Date of Patent: July 26, 2022
    Assignee: Arch Systems Inc.
    Inventors: Timothy Matthew Burke, Andrew Galen Scheuermann, Swamy Muddu
  • Patent number: 11281193
    Abstract: This invention implements a work system high in flexibility and speedy system development. The work system includes a plurality of modules each having software for work which performs predetermined in-module processing, and a service base unit which inputs and outputs event information to and from the modules. The event information includes an identifier and a payload. The service base unit has a function of receiving the event information from any of the modules, and a function of transferring the event information to the other module. The other module to which the event information is transferred determines based on the identifier included in the transferred event information whether the in-module processing is performed within its own module.
    Type: Grant
    Filed: June 11, 2020
    Date of Patent: March 22, 2022
    Assignee: HITACHI INDUSTRY & CONTROL SOLUTIONS, LTD.
    Inventor: Tomoko Ishino
  • Patent number: 11205186
    Abstract: A computer-implemented method comprising receiving user preference information, based on the received user preference information, determining one or more user settings, processing data to determine a data condition, wherein, to determine the data condition, a plurality of alternate data inputs of different types are processed and normalized, and applied to a series of operations to generate a forecast having a degree of confidence, and the data condition is compared with third party information; providing an electronic notification indicative of the data condition to the user device, wherein the electronic notification includes the data condition compared with the third party information, a confidence indicator associated with the data condition, and a user prompt; in response to a single user input, the user device generating an instruction to execute the user request; and based on the instruction, executing the user request based on the determined one or more user settings.
    Type: Grant
    Filed: May 7, 2021
    Date of Patent: December 21, 2021
    Assignee: Nowcasting.ai, Inc.
    Inventor: Damian Ariel Scavo
  • Patent number: 11164089
    Abstract: Embodiments include predicting transactions by an entity and identifying promotions to offer the entity. Aspects include parsing a plurality of event records corresponding to a plurality of entities respectively. Aspects also include identifying a sequence of events corresponding to the entity and discretizing time durations and event values of the sequence of events into discrete symbolic values. Aspects further include generating a temporal pattern of events in the sequence of events, the temporal pattern including a sequence of transaction-symbols representative of the time duration and the event value of the events in the sequence of events of the entity and predicting a next transaction based on the temporal pattern.
    Type: Grant
    Filed: October 12, 2015
    Date of Patent: November 2, 2021
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Yea-Jane Chu, Sier Han, Ning Sun, Chun Hua Tian, Feng Juan Wang, Ming Xie, Chao Zhang, Xiu Fang Zhu
  • Patent number: 11157820
    Abstract: Embodiments include predicting transactions by an entity and identifying promotions to offer the entity. Aspects include parsing a plurality of event records corresponding to a plurality of entities respectively. Aspects also include identifying a sequence of events corresponding to the entity and discretizing time intervals and event values of the sequence of events into discrete symbolic values. Aspects further include generating a temporal pattern of events in the sequence of events, the temporal pattern including a sequence of transaction-symbols representative of the time interval and the event value of the events in the sequence of events of the entity and predicting a next transaction based on the temporal pattern.
    Type: Grant
    Filed: November 30, 2015
    Date of Patent: October 26, 2021
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Yea-Jane Chu, Sier Han, Ning Sun, Chun Hua Tian, Feng Juan Wang, Ming Xie, Chao Zhang, Xiu Fang Zhu
  • Patent number: 11054275
    Abstract: Some embodiments provide a mapping application that displays a transit map including a group of transit lines. The mapping application receives a request to display a transit route in the transit map. The mapping application also, in response to the received request, displays the transit route by modifying portions of transit lines along the route to emphasize the portions of the transit lines while modifying other transit lines not along the route to de-emphasize the transit lines not along the route.
    Type: Grant
    Filed: June 13, 2019
    Date of Patent: July 6, 2021
    Assignee: Apple Inc.
    Inventors: Justin O'Beirne, Eleanor Cady Wachsman, Nathaniel V. Kelso, Aaron A. Reiner
  • Patent number: 10957001
    Abstract: The disclosed embodiments illustrate a method for real time management of transportation services. The method includes determining a discrete control process with respect to a plurality of states of a vehicle. Each state in the plurality of states corresponds to a station and a count of vacant seats in the vehicle at the station. A set of rules is generated to maximize a key performance parameter of the vehicle, based on at least the determined discrete control process. A valuation parameter is determined, in real time, for one or more vacant seats in the vehicle at each of one or more subsequent stations based on the generated set of rules. The determined valuation parameter for the one or more vacant seats corresponding to each of the one or more subsequent stations is transmitted to a plurality of mobile computing devices associated with a plurality of commuters.
    Type: Grant
    Filed: December 14, 2016
    Date of Patent: March 23, 2021
    Assignee: Conduent Business Services, LLC
    Inventors: Narayanan Unny Edakunni, Bhupendra Singh Solanki, Theja Tulabandhula, Tuhin Bhattacharya
  • Patent number: 10706359
    Abstract: A computer implemented system for automating the generation of an analytic model includes a processor configured to process a plurality of data sets. Each data set includes values for a plurality of variables. A time-stamping module is configured to derive values for a plurality of elapsed-time variables for each data set, and the plurality of variables and plurality of elapsed-time variables are included in a plurality of model variables. A model generator is configured to create a plurality of comparison analytic models each based on a different subset of model variables. Each comparison analytic model is configured to operate on new data sets associated with current leads, and to output a likelihood of successfully closing an associated transaction. A model testing module is configured to select an operational analytic model from among the comparison analytic models based on a quality metric.
    Type: Grant
    Filed: January 12, 2017
    Date of Patent: July 7, 2020
    Assignee: ServiceNow, Inc.
    Inventors: Baskar Jayaraman, Debashish Chatterjee, Kannan Govindarajan, Ganesh Rajan
  • Patent number: 10558767
    Abstract: Systems are provided to estimate autoregressive moving average (ARMA) models using maximum likelihood estimation and analytical derivatives, and to use such models for forecasting. The evaluation of the analytical derivatives during estimation of the model parameters may be performed using a state space representation with certain characteristics. An ARMA model estimated using maximum likelihood estimation, analytical derivatives, and the state space representation with certain characteristics can be used to forecast/predict values that are likely to occur in the future, given some set of previously-occurring values.
    Type: Grant
    Filed: March 16, 2017
    Date of Patent: February 11, 2020
    Assignee: Amazon Technologies, Inc.
    Inventors: Ramesh Natarajan, Jonathan Richard Morley Hosking
  • Patent number: 10409857
    Abstract: Geographical regions are each characterized using a distribution of terms, tags, etc. A model may be generated that identifies characteristics of each geographic region. The geographic regions may be organized using a geographical hierarchical model.
    Type: Grant
    Filed: July 29, 2014
    Date of Patent: September 10, 2019
    Assignee: OATH INC.
    Inventors: David Ayman Shamma, Mohamed Kafsi, Henriette Cramer
  • Patent number: 10061632
    Abstract: A system includes a normal behavior characterization module configured to receive values for a first metric of a plurality of metrics and generate a baseline profile indicating normal behavior of the first metric based on the received values. The system also includes an anomaly identification module configured to identify an anomaly in response to present values of the metric deviating outside the baseline profile. The system also includes an anomaly behavior characterization module configured to analyze a plurality of prior anomalies identified by the anomaly identification module and develop a model of the anomalies of the first metric. The system also includes an anomaly scoring module configured to determine a first score for a present anomaly detected by the anomaly identification module for the first metric. The first score is based on characteristics of the present anomaly and the model of the anomalies of the first metric.
    Type: Grant
    Filed: November 24, 2015
    Date of Patent: August 28, 2018
    Assignee: Anodot Ltd.
    Inventors: Yoni Yom Tov Ben Simhon, David Drai, Ira Cohen
  • Patent number: 9298854
    Abstract: Disclosed is a time-series management device capable of filtering time-series data having a possibility of matching a specified search pattern and reading in the data from a storage device when performing a time-series analysis. A data accumulation unit (120) creates a time-series index having a feature value of a data series calculated at a specific regular time interval. In addition, a data search unit (130) makes a decision as to the feature value for each regular time interval included in the time-series index using an evaluation formula of a specified search condition, identifies a time period of a complying data series group, and performs a time-series analysis for only the data series of the identified time period.
    Type: Grant
    Filed: May 14, 2010
    Date of Patent: March 29, 2016
    Assignee: HITACHI, LTD.
    Inventors: Naoki Ikawa, Shinichi Kawamoto
  • Publication number: 20150134588
    Abstract: 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.
    Type: Application
    Filed: June 18, 2014
    Publication date: May 14, 2015
    Inventor: Jeffrey J. Jonas
  • Publication number: 20150121625
    Abstract: A mattress age indicating device (10) includes an enclosure (20) and an indicating assembly (30) contained within the enclosure (20). The age indicating device (10) may be configured to present an indication related to the mattress's age and may be coupled to the mattress (2) or other bedding or seating product.
    Type: Application
    Filed: January 8, 2015
    Publication date: May 7, 2015
    Inventors: Terrance L. Myers, John A. Garrett
  • Patent number: 9002776
    Abstract: 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.
    Type: Grant
    Filed: October 14, 2011
    Date of Patent: April 7, 2015
    Assignee: Trigeminal Solutions, Inc.
    Inventors: Steven Elliot Stupp, Lawrence Newman, Gert Lanckriet
  • Publication number: 20150066813
    Abstract: An apparatus for determining a future outage window in which to perform work on a server may include an input for receiving historical performance data about at least one server, a non-transitory memory and a processor communicatively coupled to the input and the memory. The processor may be configured to use instructions stored in the memory to predict one or more likely future time windows to be recommended as possible outage windows in which to perform work on the server. The processor may analyze historical performance data about the at least one server to determine one or more historical time windows corresponding to low CPU utilization of the at least one server. In some cases, the processor may then predict one or more future time windows to be recommended for use as the outage window using, at least in part, the determined historical time windows.
    Type: Application
    Filed: August 27, 2013
    Publication date: March 5, 2015
    Applicant: Bank of America Corporation
    Inventors: Richard Gerard Andreatta, David Joseph Madigan
  • Publication number: 20150066837
    Abstract: 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.
    Type: Application
    Filed: August 30, 2013
    Publication date: March 5, 2015
    Applicant: GM Global Technology Operations LLC
    Inventors: Christopher J. Twarog, Ian L. Hanna, Trista K. Schieffer
  • Publication number: 20150066832
    Abstract: A method and system of detecting the activity of “bots” in an online community, by measuring the time elapsed between user actions and comparing this time to a timespan established as normal for users performing the same user actions without the assistance of bots. The timespan may be adjusted when other suspicion characteristics are detected. When detecting actions suspected to be bot-assisted, the method and system respond by executing one or more response instructions against the user suspected of using the bot, with the aim of preventing further bot activity. The response instructions are stored by associating them with a type of user action and a total number of suspect user actions. As a result, the response instructions may be set to increase in severity with each additional suspect act by a user.
    Type: Application
    Filed: September 2, 2014
    Publication date: March 5, 2015
    Applicant: Internet Brands, Inc.
    Inventors: Terrence Kulik, Zhida Sun
  • Patent number: 8943009
    Abstract: A method of adapting an event processing component. The method comprises designating an event processing component having a plurality of event processing agents which carry out a plurality of rules to process a plurality of events, selecting at least one rules correctness requirement, and automatically adjusting, using a processor, the plurality of event processing rules to comply with the at least one correctness requirement.
    Type: Grant
    Filed: November 20, 2011
    Date of Patent: January 27, 2015
    Assignee: International Business Machines Corporation
    Inventors: Opher Etzion, Elior Malul, Inna Skarbovsky, Tali Yatzkar-Haham
  • Patent number: 8935654
    Abstract: A requirements testing system facilitates the review and analysis of requirement statements for software applications. The requirements testing system generates test artifacts from the requirement statements. The test artifacts characterize the requirements statements to provide valuable analysis information that aids understanding whether the requirement statements are testable, what the intentions of the requirement statements are, and other useful analysis information. Because the system generates the analysis information from the requirement statements, the system provides benefits in terms of early feedback along the software application development timeline.
    Type: Grant
    Filed: January 9, 2012
    Date of Patent: January 13, 2015
    Assignee: Accenture Global Services Limited
    Inventors: Shubhashis Sengupta, Anurag Dwarakanath, Roshni R. Ramnani
  • Patent number: 8935197
    Abstract: Systems and methods (e.g., utilities) for use in providing automated, lightweight collection of online, open source data which may be content-based to reduce website source bias. In one aspect, a utility is disclosed for use in extracting content of interest from at least one website or other online data source (e.g., where the extracted content can be used in a subsequent search query). In other aspects, utilities are disclosed that are operable to perform various types of analyzes on such extracted content and present graphical representations of such analyzes on a display of a client device.
    Type: Grant
    Filed: November 26, 2013
    Date of Patent: January 13, 2015
    Assignee: Lockheed Martin Corporation
    Inventors: Abha Moitra, David Brian Bracewell, Steven Matt Gustafson, T. Michael Baylor, Tina H. Chau
  • Publication number: 20140365422
    Abstract: 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.
    Type: Application
    Filed: September 17, 2013
    Publication date: December 11, 2014
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Arun Hampapur, Hongfei Li, Yada Zhu
  • Publication number: 20140365423
    Abstract: 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.
    Type: Application
    Filed: November 15, 2013
    Publication date: December 11, 2014
    Applicant: International Business Machines Corporation
    Inventors: Michael B. Litherland, Ivan M. Milman, Martin Oberhofer, Donald A. Padilla
  • Publication number: 20140358843
    Abstract: 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.
    Type: Application
    Filed: May 29, 2013
    Publication date: December 4, 2014
    Inventors: L. Venkata Subramaniam, Sameep Mehta, Raghuram Krishnapuram, Tanveer A. Faruquie
  • Publication number: 20140351199
    Abstract: 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.
    Type: Application
    Filed: May 27, 2014
    Publication date: November 27, 2014
    Inventors: Habib Madani, Sameer Siddiqui, Faisal Azizullah, Adnan Ashraf
  • Patent number: 8892493
    Abstract: A “Compatibility Tester” extracts observable behaviors from different system implementations (e.g., software, operating systems, device drivers, hardware interfaces, etc.), then performs compatibility testing via comparisons of the extracted behaviors. Traces (e.g., bus level signals between controllers and hardware devices or commands between software components) representing observable behaviors of different implementations of a system are captured. Temporal and structural rules are then mined from these traces. The mined rules (or a model constructed from those rules) are used by a “Rule Checking” process that determines whether reference rules (mined from a known compatible system) are compatible with rules mined from test traces of a second system. Invalid rules are flagged as behavioral compatibility bugs.
    Type: Grant
    Filed: February 1, 2012
    Date of Patent: November 18, 2014
    Assignee: Microsoft Corporation
    Inventors: Randall Edward Aull, Pankaj Bharti Gupta, Robert Eugene Harris, Jr., Jane Evguenia Lawrence, Venkatesh-Prasad Ranganath, Pradip Harindran Vallathol
  • Publication number: 20140330765
    Abstract: 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.
    Type: Application
    Filed: July 21, 2014
    Publication date: November 6, 2014
    Inventor: Armand Erik Prieditis
  • Publication number: 20140324743
    Abstract: A technique includes fitting an autoregressive integrated moving average (ARIMA) model to time-series data. The technique further includes the computation of autoregression coefficients from the ARIMA model applied to the time-series data. The autoregression coefficients may be usable for data classification purposes.
    Type: Application
    Filed: April 30, 2013
    Publication date: October 30, 2014
    Applicant: HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P.
    Inventor: HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P.
  • Publication number: 20140297582
    Abstract: 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.
    Type: Application
    Filed: February 19, 2014
    Publication date: October 2, 2014
    Applicant: COMCAST CABLE COMMUNICATIONS, LLC
    Inventors: Frances Bevan, David Markowitz, Michael Rekstad, Jae Sim, Christopher Stone
  • Patent number: 8849742
    Abstract: 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.
    Type: Grant
    Filed: January 24, 2012
    Date of Patent: September 30, 2014
    Assignee: Ford Global Technologies, LLC
    Inventors: Karin Lovett, Beth Ann Dalrymple, David Hayes, Thanh Duc Pham, Jesus Cardoso, Darko Acevski
  • Publication number: 20140258190
    Abstract: Methods and devices for statistical determination of medication dosage level such as bolus amount based on contextual information are provided.
    Type: Application
    Filed: May 16, 2014
    Publication date: September 11, 2014
    Applicant: Abbott Diabetes Care Inc.
    Inventors: Kenneth J. Doniger, Mark Kent Sloan
  • Publication number: 20140222748
    Abstract: In one embodiment, techniques are shown and described relating to traffic-based inference of influence domains in a network by using learning machines. In particular, in one embodiment, a management device computes a time-based traffic matrix indicating traffic between pairs of transmitter and receiver nodes in a computer network, and also determines a time-based quality parameter for a particular node in the computer network. By correlating the time-based traffic matrix and time-based quality parameter for the particular node, the device may then determine an influence of particular traffic of the traffic matrix on the particular node.
    Type: Application
    Filed: July 19, 2013
    Publication date: August 7, 2014
    Applicant: CISCO TECHNOLOGY, INC.
    Inventors: Grégory Mermoud, Jean-Philippe Vasseur, Sukrit Dasgupta
  • Publication number: 20140201127
    Abstract: 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.
    Type: Application
    Filed: March 14, 2014
    Publication date: July 17, 2014
    Applicant: THE AQUA ENTERPRISE COMPANY
    Inventor: Koichi Yano
  • Publication number: 20140195464
    Abstract: A multi-social network discovery system and method enables users to select multiple social networks comprising activity streams and to receive recommendations sourced from the selected multiple social networks. The multi-social network discovery system and method generates affinity values based on inferred affinity levels between topics, which may be associated with tags, and objects that are associated with the activity streams. The inferred affinity values may be derived from usage behaviors such as tagging and/or based on an automatic analysis of the content of the objects. The affinity values inform the selection of the objects to be recommended to a user, and the selection may be further informed by inferred affinity levels between the user and the topics. The recommendations may be tuned by the user through application of a recommendation tuning control.
    Type: Application
    Filed: March 11, 2014
    Publication date: July 10, 2014
    Applicant: MANYWORLDS, INC.
    Inventors: Steven Dennis Flinn, Naomi Felina Moneypenny
  • Publication number: 20140181001
    Abstract: 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.
    Type: Application
    Filed: October 14, 2013
    Publication date: June 26, 2014
    Applicant: International Business Machines Corporation
    Inventors: Gary D. Cudak, Lydia M. Do, Christopher J. Hardee, Adam Roberts
  • Patent number: 8756049
    Abstract: Some embodiments of a simulation and test framework for a rule engine have been presented. In one embodiment, a simulator runs a simulation in a time-aware environment. A rule engine, coupled to the simulator, may execute a set of business logic in response to the simulation in order to test behavior of the business logic. The business logic may include rules, workflow, and event processing.
    Type: Grant
    Filed: July 13, 2010
    Date of Patent: June 17, 2014
    Assignee: Red Hat, Inc.
    Inventor: Mark Proctor
  • Patent number: 8732153
    Abstract: A method includes receiving search queries. Images are generated that represent the volume of each search query relative to all search queries over a period of time. The images are processed to generate wavelets for each image. Related queries having similar increases or decreases in volume are identified by comparing at least some of the wavelets corresponding to a first query to wavelets corresponding to other queries.
    Type: Grant
    Filed: September 14, 2012
    Date of Patent: May 20, 2014
    Assignee: Google Inc.
    Inventors: Shumeet Baluja, Michele Covell
  • Publication number: 20140129487
    Abstract: A DB registration-updating unit registers, in a patron management DB, the behavior history of each player in association with camera IDs that identify the cameras that have captured images of the player. On the basis of information in the patron management DB, a potential player-determining unit considers a player, whose length of stay in a specific corner is longer than a prescribed period and who is not playing, to be a potential player who wants to play but is unable to play. An attention level DB management unit registers, in an attention level DB, the points proportional to the lengths of stay of potential players in said corner as the attention level by cumulatively storing the points for each game console. An attention level display control unit displays the information on the players' attention level that is registered in the attention level DB.
    Type: Application
    Filed: March 14, 2012
    Publication date: May 8, 2014
    Applicant: OMRON CORPORATION
    Inventors: Tatsuya Adachi, Ryosuke Kono, Mitsunori Sugiura
  • Publication number: 20140095412
    Abstract: To allow for tracking events and classifying assets within a social networking system. A time series of occurrences of an event type associated with at least one asset is generated. A first signal value and a second signal value is determined based on the time series. The at least one asset is classified based on comparison of the first signal value and the second signal value. In an embodiment, the time series is based on at least one time window including time intervals. In an embodiment, counters to determine a number of occurrences of an event type are associated with the time intervals. In an embodiment, each of the counters are incremented upon occurrence of the event type associated with the at least one asset during an associated time interval.
    Type: Application
    Filed: September 28, 2012
    Publication date: April 3, 2014
    Applicant: Facebook, Inc.
    Inventors: Bhalchandra Suresh Agashe, Gil Shklarski, Christopher Alexander Stein, Nickolay Vladimirov Tchervenski
  • Publication number: 20140067734
    Abstract: Detecting patterns and sequences associated with an anomaly in predictions made a predictive system. The predictive system makes predictions by learning spatial patterns and temporal sequences in an input data that change over time. As the input data is received, the predictive system generates a series of predictions based on the input data. Each prediction is compared with corresponding actual value or state. If the prediction does not match or deviates significantly from the actual value or state, an anomaly is identified for further analysis. A corresponding state or a series of states of the predictive system before or at the time of prediction are associated with the anomaly and stored. The anomaly can be detected by monitoring whether the predictive system is placed in the state or states that is the same or similar to the stored state or states.
    Type: Application
    Filed: August 29, 2013
    Publication date: March 6, 2014
    Applicant: Numenta, Inc.
    Inventors: Jeffrey C. Hawkins, Rahul Agarwal
  • Publication number: 20140040179
    Abstract: 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.
    Type: Application
    Filed: August 5, 2013
    Publication date: February 6, 2014
    Applicant: Microsoft Corporation
    Inventors: Shai Herzog, Jyh-Han Lin, Miller Thomas Abel, Moe Khosravy, Katrika Morris, Karon A. Weber, James Kai Yu Lau
  • Patent number: 8645310
    Abstract: 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.
    Type: Grant
    Filed: March 22, 2011
    Date of Patent: February 4, 2014
    Assignee: GM Global Technology Operations LLC
    Inventors: Shengbing Jiang, Aleksey Nogin
  • Patent number: 8645311
    Abstract: 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 Ck,t is defined and used in the determination, where the coverage metric Ck,t is defined for a particular pair (k,t) as a fraction, with the numerator defined a number of events that occur within some (k,t)-bursty window and the denominator defined as the total number of events (n) that occurred along the entire time span being analyzed. Coverage metric Ck,t is monotonic non-increasing in k and monotonic non-decreasing in t, allowing for a divide-and-conquer search strategy to be used to find the critical threshold pairs (k*, t*).
    Type: Grant
    Filed: November 1, 2011
    Date of Patent: February 4, 2014
    Assignee: Siemens Aktiengesellschaft
    Inventors: Bibudh Lahiri, Fabian Moerchen, Ioannis Akrotirianakis
  • Publication number: 20140025611
    Abstract: A knowledge based platform and associated methods to identify and aid in decision making skills of human being by mapping selection of products or services to underlying reasoning parameters. Underlying parameters being determined by domain experts based on domain of product or service in which user submitted his selection without providing any additional parameters.
    Type: Application
    Filed: July 10, 2013
    Publication date: January 23, 2014
    Inventor: Debi Prasad Sahoo