Interactive techniques for organizing and retrieving thumbnails and notes on large displays
    1.
    发明授权
    Interactive techniques for organizing and retrieving thumbnails and notes on large displays 有权
    在大型显示器上组织和检索缩略图和笔记的互动技术

    公开(公告)号:US07627831B2

    公开(公告)日:2009-12-01

    申请号:US11437561

    申请日:2006-05-19

    IPC分类号: G06F3/048

    CPC分类号: G06F17/30058 G06F3/0481

    摘要: The present invention relates to techniques for supporting organizational, labeling and retrieval tasks on an electronic tabletop, wall or large display. In various embodiments of the invention, a dynamic visualization is used to show a current working set of documents. In an embodiment of the invention, the rest of the collection is represented in the background as small dots. In an embodiment of the invention, when a user moves objects into groups or creates a label, relevant objects in the background are automatically retrieved and moved into the foreground. In an embodiment of the invention, retrieved objects along with relevant objects in the current set are highlighted and decorated with arrows pointing to their relevant groups. In an embodiment of the invention, the movement is animated to provide user feedback when objects must travel long distances on a large display.

    摘要翻译: 本发明涉及用于在电子桌面,墙壁或大型显示器上支持组织,标签和检索任务的技术。 在本发明的各种实施例中,使用动态可视化来显示文档的当前工作集合。 在本发明的一个实施例中,集合的其余部分在背景中被表示为小点。 在本发明的实施例中,当用户将对象移动到组或创建标签时,背景中的相关对象被自动检索并移动到前台。 在本发明的一个实施例中,检索到的对象与当前集合中的相关对象被突出显示并用指向其相关组的箭头进行装饰。 在本发明的一个实施例中,当物体必须在大型显示器上行进长距离时,运动被动画化以提供用户反馈。

    Interactive techniques for organizing and retreiving thumbnails and notes on large displays
    2.
    发明申请
    Interactive techniques for organizing and retreiving thumbnails and notes on large displays 有权
    在大型显示器上组织和撤回缩略图和笔记的互动技术

    公开(公告)号:US20070271524A1

    公开(公告)日:2007-11-22

    申请号:US11437561

    申请日:2006-05-19

    IPC分类号: G06F3/048

    CPC分类号: G06F17/30058 G06F3/0481

    摘要: The present invention relates to techniques for supporting organizational, labeling and retrieval tasks on an electronic tabletop, wall or large display. In various embodiments of the invention, a dynamic visualization is used to show a current working set of documents. In an embodiment of the invention, the rest of the collection is represented in the background as small dots. In an embodiment of the invention, when a user moves objects into groups or creates a label, relevant objects in the background are automatically retrieved and moved into the foreground. In an embodiment of the invention, retrieved objects along with relevant objects in the current set are highlighted and decorated with arrows pointing to their relevant groups. In an embodiment of the invention, the movement is animated to provide user feedback when objects must travel long distances on a large display.

    摘要翻译: 本发明涉及用于在电子桌面,墙壁或大型显示器上支持组织,标签和检索任务的技术。 在本发明的各种实施例中,使用动态可视化来显示文档的当前工作集合。 在本发明的一个实施例中,集合的其余部分在背景中被表示为小点。 在本发明的实施例中,当用户将对象移动到组或创建标签时,背景中的相关对象被自动检索并移动到前景中。 在本发明的一个实施例中,检索到的对象与当前集合中的相关对象被突出显示并用指向其相关组的箭头进行装饰。 在本发明的一个实施例中,当物体必须在大型显示器上行进长距离时,运动被动画化以提供用户反馈。

    Annealing algorithm for non-rectangular shaped stained glass collages
    3.
    发明授权
    Annealing algorithm for non-rectangular shaped stained glass collages 有权
    非矩形彩色玻璃拼贴的退火算法

    公开(公告)号:US08144919B2

    公开(公告)日:2012-03-27

    申请号:US11525589

    申请日:2006-09-22

    IPC分类号: G06K9/00

    CPC分类号: H04N1/387

    摘要: The present invention relates to a method to make effective use of non rectangular display space for displaying a collage. In an embodiment of the invention, a heterogeneous set of images can be arranged to display the region of interest of the images to avoid overlapping regions of interest. The background gaps between the regions of interest can be filled by extending the regions of interest using a Voronoi technique. This produces a stained glass effect for the collage. In an embodiment of the present invention, the technique can be applied to irregular shapes including circular shapes with a hole in the middle. In an embodiment of the present invention, the technique can be used to print labels for disks.

    摘要翻译: 本发明涉及一种有效利用非矩形显示空间来显示拼贴画的方法。 在本发明的实施例中,可以布置异构的图像集合以显示图像的感兴趣区域以避免重叠的感兴趣区域。 可以使用Voronoi技术扩展感兴趣的区域来填补感兴趣区域之间的背景差距。 这产生了拼贴画的彩色玻璃效果。 在本发明的一个实施例中,该技术可以应用于包括在中间具有孔的圆形的不规则形状。 在本发明的一个实施例中,该技术可用于打印盘的标签。

    Annealing algorithm for non-rectangular shaped stained glass collages
    4.
    发明申请
    Annealing algorithm for non-rectangular shaped stained glass collages 有权
    非矩形彩色玻璃拼贴的退火算法

    公开(公告)号:US20080075390A1

    公开(公告)日:2008-03-27

    申请号:US11525589

    申请日:2006-09-22

    IPC分类号: G06K9/36 G06K9/32

    CPC分类号: H04N1/387

    摘要: The present invention relates to a method to make effective use of non rectangular display space for displaying a collage. In an embodiment of the invention, a heterogeneous set of images can be arranged to display the region of interest of the images to avoid overlapping regions of interest. The background gaps between the regions of interest can be filled by extending the regions of interest using a Voronoi technique. This produces a stained glass effect for the collage. In an embodiment of the present invention, the technique can be applied to irregular shapes including circular shapes with a hole in the middle. In an embodiment of the present invention, the technique can be used to print labels for disks.

    摘要翻译: 本发明涉及一种有效利用非矩形显示空间来显示拼贴画的方法。 在本发明的实施例中,可以布置异构的图像集合以显示图像的感兴趣区域以避免重叠的感兴趣区域。 可以使用Voronoi技术扩展感兴趣的区域来填补感兴趣区域之间的背景差距。 这产生了拼贴画的彩色玻璃效果。 在本发明的一个实施例中,该技术可以应用于包括在中间具有孔的圆形的不规则形状。 在本发明的一个实施例中,该技术可用于打印盘的标签。

    SYSTEM AND METHOD FOR HUMAN ASSISTED SECURE INFORMATION EXCHANGE
    5.
    发明申请
    SYSTEM AND METHOD FOR HUMAN ASSISTED SECURE INFORMATION EXCHANGE 有权
    人力资源安全信息交换系统与方法

    公开(公告)号:US20080195866A1

    公开(公告)日:2008-08-14

    申请号:US11863993

    申请日:2007-09-28

    IPC分类号: H04L9/32

    CPC分类号: H04W12/12 H04W12/04 H04W84/18

    摘要: A system that assures a user that two specific devices have exchanged information correctly over an insecure communication channel. In a typical application, the channel would be a wireless network connection and the information would consist of the public keys of the two devices. The exchanged public keys would subsequently be used to secure any further communication between the two devices. The system requires that both devices have an output modality interpretable by a human. One of the devices must have an input modality that can be operated by the user. The input and output modalities can be very simple e.g., they can consist of a button and LEDs. The users would press the button multiple times. On each press, the LEDs on both devices display a color and the user compares the colors and that they are synchronous. A noticeable delay or color difference signifies a security threat.

    摘要翻译: 确保用户两个特定设备在不安全的通信信道上正确交换信息的系统。 在典型的应用中,信道将是无线网络连接,并且信息将由两个设备的公钥组成。 所交换的公钥随后将用于确保两个设备之间的任何进一步的通信。 该系统要求两个设备具有可由人解释的输出模式。 其中一个设备必须具有可由用户操作的输入模式。 输入和输出模式可以非常简单,例如它们可以由按钮和LED组成。 用户多次按下按钮。 在每次按下时,两个设备上的LED显示颜色,用户将比较颜色并同步。 明显的延迟或色差表示安全威胁。

    System and method for automatic design of components in libraries
    6.
    发明授权
    System and method for automatic design of components in libraries 有权
    图书馆中组件自动设计的系统和方法

    公开(公告)号:US07711674B2

    公开(公告)日:2010-05-04

    申请号:US11264219

    申请日:2005-11-01

    IPC分类号: G06F15/00

    CPC分类号: G06F8/36 G06F2217/02

    摘要: Embodiments of the present invention introduce a novel recursive assembly process to automatically create a library of components. It starts with simple components used as building blocks and proceeds by repeatedly combining these randomly into more complex ones. The utility and quality of these random combinations of components are measured against a set of functional goals. Useful combinations then become new components in the library that can be used as building blocks for further random combination. This description is not intended to be a complete description of, or limit the scope of, the invention. Other features, aspects, and objects of the invention can be obtained from a review of the specification, the figures, and the claims.

    摘要翻译: 本发明的实施例引入了一种新的递归组装过程以自动创建组件库。 它以用作构建块的简单组件开始,并将它们随机地重复地组合到更复杂的组件中。 根据一组功能目标来测量这些随机组合的效用和质量。 有用的组合然后成为库中的新组件,可用作进一步随机组合的构建块。 本说明书不是对本发明的完整描述或限制本发明的范围。 本发明的其它特征,方面和目的可以通过对说明书,附图和权利要求的评述来获得。

    Method and system for constructing adaptive and resilient software
    7.
    发明授权
    Method and system for constructing adaptive and resilient software 失效
    构建自适应和弹性软件的方法和系统

    公开(公告)号:US06226627B1

    公开(公告)日:2001-05-01

    申请号:US09061890

    申请日:1998-04-17

    申请人: Wolfgang H. Polak

    发明人: Wolfgang H. Polak

    IPC分类号: G06F1518

    摘要: A dependency action system uses redundant sets of dynamically reconfigurable functional components to achieve robustness and fault tolerance, and to achieve self-optimization by learning and planning techniques that use time-stamps and or computation stamps as a key indicator. The dependency action system is based on functional components, or actions, which act on data values that are stored in stamped storage locations. Data is read and written to these storage locations, updating the stamps as appropriate. The execution of an action is controlled by the stamps of its enabling and disabling storage locations. The dependency action system specifies an action as enabled if new data has arrived in the enabling storage locations. Updating the stamp of the disabling storage locations disables the action. If an alternative action succeeds and produces a value, the other alternative actions become disabled. If one action fails to produce a value to a storage location, other alternative actions may still be enabled and can be executed. Thus, the dependency action system supports automatic recovery from failure of an individual action. The dependency action system accumulates statistical information about the behavior of the actions, which includes the probability that a particular disabling storage location will be updated by an action and the average cost of an action. The dependency action system uses this information to plan a sequence of action executions that most likely leads to the cheapest solution of a given task.

    摘要翻译: 依赖行动系统使用冗余的动态可重构功能组件来实现鲁棒性和容错性,并通过使用时间戳和/或计算标记作为关键指标的学习和规划技术实现自我优化。 依赖操作系统基于对存储在加盖的存储位置中的数据值起作用的功能组件或动作。 数据被读取并写入到这些存储位置,适当地更新邮票。 动作的执行由其启用和禁用存储位置的邮票控制。 如果新数据到达启用存储位置,依赖关系操作系统会将操作指定为启用。 更新禁用存储位置的邮票将禁用该操作。 如果替代操作成功并产生一个值,则其他替代操作将被禁用。 如果一个操作无法向存储位置生成值,则仍可以启用其他替代操作并执行该操作。 因此,依赖性操作系统支持从单个动作的失败中自动恢复。 依赖关系动作系统累积有关动作行为的统计信息,其中包括特定禁用存储位置将被动作更新的可能性以及动作的平均成本。 依赖性操作系统使用此信息来计划最可能导致给定任务的最便宜解决方案的一系列操作执行。

    System and method for human assisted secure information exchange
    8.
    发明授权
    System and method for human assisted secure information exchange 有权
    人工辅助安全信息交换系统和方法

    公开(公告)号:US08429405B2

    公开(公告)日:2013-04-23

    申请号:US11863993

    申请日:2007-09-28

    IPC分类号: H04L9/32 H04L9/00

    CPC分类号: H04W12/12 H04W12/04 H04W84/18

    摘要: A system that assures a user that two specific devices have exchanged information correctly over an insecure communication channel. In a typical application, the channel would be a wireless network connection and the information would consist of the public keys of the two devices. The exchanged public keys would subsequently be used to secure any further communication between the two devices. The system requires that both devices have an output modality interpretable by a human. One of the devices must have an input modality that can be operated by the user. The input and output modalities can be very simple e.g., they can consist of a button and LEDs. The users would press the button multiple times. On each press, the LEDs on both devices display a color and the user compares the colors and that they are synchronous. A noticeable delay or color difference signifies a security threat.

    摘要翻译: 确保用户两个特定设备在不安全的通信信道上正确交换信息的系统。 在典型的应用中,信道将是无线网络连接,并且信息将由两个设备的公钥组成。 所交换的公钥随后将用于确保两个设备之间的任何进一步的通信。 该系统要求两个设备具有可由人解释的输出模式。 其中一个设备必须具有可由用户操作的输入模式。 输入和输出模式可以非常简单,例如它们可以由按钮和LED组成。 用户多次按下按钮。 在每次按下时,两个设备上的LED显示颜色,用户将比较颜色并同步。 明显的延迟或色差表示安全威胁。

    Methods and systems for automatically generating provably correct computer program code
    9.
    发明授权
    Methods and systems for automatically generating provably correct computer program code 失效
    用于自动生成可证明正确的计算机程序代码的方法和系统

    公开(公告)号:US07243086B2

    公开(公告)日:2007-07-10

    申请号:US10739187

    申请日:2003-12-19

    申请人: Wolfgang H. Polak

    发明人: Wolfgang H. Polak

    IPC分类号: G06F15/18 G06N3/00 G06N3/12

    CPC分类号: G06N3/126 G06F8/30

    摘要: A provably correct computer program can be generated using genetic programming techniques. A desired behavior is used to define a formal specification. An initial population of programs is created where each program has a meaning that can be defined using a formalization technique. A fitness function is applied to measure a distance between the meaning of a program, i.e., its actual behavior, and the specification. Any program having a zero value as the measure of distance between the meaning of the program and the specification is determined to be provably correct. After the fitness of some or all of the programs in the current generation of programs has been computed, a provably correct program has not yet been found in the current generation, mutation and/or crossover techniques are performed on at least some of the fittest individuals in the current generation to create the programs of a next generation.

    摘要翻译: 可以使用遗传编程技术生成可证明正确的计算机程序。 使用期望的行为来定义正式规范。 创建程序的初始种群,其中每个程序具有可以使用形式化技术定义的含义。 应用适应度函数来测量节目的含义之间的距离,即其实际行为和规格。 任何具有零值作为程序含义与规范之间距离的度量的程序被确定为可证明是正确的。 在计算当前一代节目中的部分或全部节目的适应性之后,在当前一代还没有发现可证明正确的节目,在至少一些适合个人的情况下进行突变和/或交叉技术 在当代创造下一代节目。