Checkpoint restart method using condensed partial results by determining boolean constant subsets
    61.
    发明授权
    Checkpoint restart method using condensed partial results by determining boolean constant subsets 失效
    通过确定布尔常数子集,使用浓缩部分结果的Checkpoint重新启动方法

    公开(公告)号:US07216306B1

    公开(公告)日:2007-05-08

    申请号:US11057651

    申请日:2005-02-14

    申请人: Zhe Li

    发明人: Zhe Li

    IPC分类号: G06F17/50

    CPC分类号: G06F17/504

    摘要: The present invention provides a method for determining whether a Boolean function is equivalent to a Boolean constant 1 within a given subset of the input space. The given subset is divided into a plurality of smaller subsets regardless how the smaller subsets are chosen. If any of the smaller subsets is not a cube, this smaller subset is divided further. If one of the smaller subsets is a cube, the Boolean function is simplified with constant substitution within the cube. If the simplification result is not a constant, the cube is divided further. If the simplification result is constant 0, a negative conclusion is reached. The conclusion is positive if none of the simplification result is Boolean constant 0. Many of the subset division steps and many of the Boolean function simplification steps can be performed independently of one another, and therefore these independent operations can be performed separately at different times or on different computers. The given subset can expand or shrink dynamically if updates of the given subset are considered in the steps. These dynamic updates make it possible to dynamically adjust the divided subsets.

    摘要翻译: 本发明提供一种用于确定布尔函数是否等于输入空间的给定子集内的布尔常数1的方法。 给定的子集被分成多个较小的子集,而不管如何选择较小的子集。 如果任何较小的子集不是立方体,则该较小的子集进一步分割。 如果其中一个较小的子集是多维数据集,那么在多维数据集中通过常量替换来简化布尔函数。 如果简化结果不是常数,则立方体进一步分割。 如果简化结果为0,则得出结论。 如果没有简化结果是布尔常量0,则结论是肯定的。许多子集划分步骤和许多布尔函数简化步骤可以彼此独立地执行,因此这些独立操作可以在不同时间分开执行,或者 在不同的电脑上 如果在步骤中考虑了给定子集的更新,则给定的子集可以动态扩展或收缩。 这些动态更新可以动态调整分割的子集。

    Method and apparatus for content personalization over a telephone interface with adaptive personalization
    63.
    发明授权
    Method and apparatus for content personalization over a telephone interface with adaptive personalization 有权
    通过具有自适应个性化的电话接口进行内容个性化的方法和装置

    公开(公告)号:US06842767B1

    公开(公告)日:2005-01-11

    申请号:US09513236

    申请日:2000-02-24

    摘要: A method and apparatus for providing personalized information content over telephones is described. The creation of a voice portal is supported by the invention. Embodiments of the invention use telephone identifying information such as the calling party's number to identify, or create, user profiles for customization. The personalized content is specific to that user based on her/his telephone identifying information and may be further customized based on the current time, current date, the calling party's locales, and/or the calling party's dialect and speech patterns. Also, the telephone identifying information may support targeted advertising, content, and purchasing recommendations specific to that user. The system may use a voice password and/or touch-tone login system when appropriate to distinguish the caller or verify the caller's identity for specific activities. Typically, embodiments of the invention will immediately present a caller personalized content based on her/his profile using the appropriate dialect as well as the caller's preferred content. Profiles can be constructed as the caller uses embodiments of the invention as well as through explicit designation of preferences. For example, as the user selects topics, as well as particular content, a record of actions can be maintained. This record of actions can be used to provide suggestions and direct the personalization of the system for the user.

    摘要翻译: 描述了一种通过电话提供个性化信息内容的方法和装置。 本发明支持语音门户的创建。 本发明的实施例使用诸如主叫方号码的电话识别信息来识别或创建用于用户定制的用户简档。 个性化内容基于她/他的电话识别信息针对该用户,并且可以基于当前时间,当前日期,主叫方的地点和/或主叫方的方言和语音模式进一步定制。 此外,电话识别信息可以支持针对该用户的针对性的广告,内容和购买建议。 适当时,系统可以使用语音密码和/或触摸音登录系统来区分呼叫者或验证呼叫者的特定活动的身份。 通常,本发明的实施例将使用适当的方言以及呼叫者的优选内容立即根据她/他的简档呈现呼叫者个性化内容。 配置文件可以被构造成呼叫者使用本发明的实施例以及通过明确地指定偏好。 例如,当用户选择主题以及特定内容时,可以维护动作记录。 该记录可用于为用户提供建议并指导系统的个性化。