会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • Interactive techniques for organizing and retreiving thumbnails and notes on large displays
    • 在大型显示器上组织和撤回缩略图和笔记的互动技术
    • US20070271524A1
    • 2007-11-22
    • US11437561
    • 2006-05-19
    • Patrick ChiuXiaohua SunJeffrey HuangMaribeth Joy BackWolfgang H. Polak
    • Patrick ChiuXiaohua SunJeffrey HuangMaribeth Joy BackWolfgang H. Polak
    • G06F3/048
    • G06F17/30058G06F3/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.
    • 本发明涉及用于在电子桌面,墙壁或大型显示器上支持组织,标签和检索任务的技术。 在本发明的各种实施例中,使用动态可视化来显示文档的当前工作集合。 在本发明的一个实施例中,集合的其余部分在背景中被表示为小点。 在本发明的实施例中,当用户将对象移动到组或创建标签时,背景中的相关对象被自动检索并移动到前景中。 在本发明的一个实施例中,检索到的对象与当前集合中的相关对象被突出显示并用指向其相关组的箭头进行装饰。 在本发明的一个实施例中,当物体必须在大型显示器上行进长距离时,运动被动画化以提供用户反馈。
    • 4. 发明授权
    • Interactive techniques for organizing and retrieving thumbnails and notes on large displays
    • 在大型显示器上组织和检索缩略图和笔记的互动技术
    • US07627831B2
    • 2009-12-01
    • US11437561
    • 2006-05-19
    • Patrick ChiuXiaohua SunJeffrey HuangMaribeth J. BackWolfgang H. Polak
    • Patrick ChiuXiaohua SunJeffrey HuangMaribeth J. BackWolfgang H. Polak
    • G06F3/048
    • G06F17/30058G06F3/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.
    • 本发明涉及用于在电子桌面,墙壁或大型显示器上支持组织,标签和检索任务的技术。 在本发明的各种实施例中,使用动态可视化来显示文档的当前工作集合。 在本发明的一个实施例中,集合的其余部分在背景中被表示为小点。 在本发明的实施例中,当用户将对象移动到组或创建标签时,背景中的相关对象被自动检索并移动到前台。 在本发明的一个实施例中,检索到的对象与当前集合中的相关对象被突出显示并用指向其相关组的箭头进行装饰。 在本发明的一个实施例中,当物体必须在大型显示器上行进长距离时,运动被动画化以提供用户反馈。
    • 5. 发明申请
    • SYSTEM AND METHOD FOR HUMAN ASSISTED SECURE INFORMATION EXCHANGE
    • 人力资源安全信息交换系统与方法
    • US20080195866A1
    • 2008-08-14
    • US11863993
    • 2007-09-28
    • Volker RothWolfgang H. PolakEleanor G. Rieffel
    • Volker RothWolfgang H. PolakEleanor G. Rieffel
    • H04L9/32
    • H04W12/12H04W12/04H04W84/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显示颜色,用户将比较颜色并同步。 明显的延迟或色差表示安全威胁。
    • 6. 发明授权
    • System and method for automatic design of components in libraries
    • 图书馆中组件自动设计的系统和方法
    • US07711674B2
    • 2010-05-04
    • US11264219
    • 2005-11-01
    • W. Brian ArthurWolfgang H. Polak
    • W. Brian ArthurWolfgang H. Polak
    • G06F15/00
    • G06F8/36G06F2217/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.
    • 本发明的实施例引入了一种新的递归组装过程以自动创建组件库。 它以用作构建块的简单组件开始,并将它们随机地重复地组合到更复杂的组件中。 根据一组功能目标来测量这些随机组合的效用和质量。 有用的组合然后成为库中的新组件,可用作进一步随机组合的构建块。 本说明书不是对本发明的完整描述或限制本发明的范围。 本发明的其它特征,方面和目的可以通过对说明书,附图和权利要求的评述来获得。
    • 7. 发明授权
    • Method and system for constructing adaptive and resilient software
    • 构建自适应和弹性软件的方法和系统
    • US06226627B1
    • 2001-05-01
    • US09061890
    • 1998-04-17
    • Wolfgang H. Polak
    • Wolfgang H. Polak
    • G06F1518
    • G06N99/005G06F11/142G06F11/1479G06F2201/835G06N5/046
    • 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.
    • 依赖行动系统使用冗余的动态可重构功能组件来实现鲁棒性和容错性,并通过使用时间戳和/或计算标记作为关键指标的学习和规划技术实现自我优化。 依赖操作系统基于对存储在加盖的存储位置中的数据值起作用的功能组件或动作。 数据被读取并写入到这些存储位置,适当地更新邮票。 动作的执行由其启用和禁用存储位置的邮票控制。 如果新数据到达启用存储位置,依赖关系操作系统会将操作指定为启用。 更新禁用存储位置的邮票将禁用该操作。 如果替代操作成功并产生一个值,则其他替代操作将被禁用。 如果一个操作无法向存储位置生成值,则仍可以启用其他替代操作并执行该操作。 因此,依赖性操作系统支持从单个动作的失败中自动恢复。 依赖关系动作系统累积有关动作行为的统计信息,其中包括特定禁用存储位置将被动作更新的可能性以及动作的平均成本。 依赖性操作系统使用此信息来计划最可能导致给定任务的最便宜解决方案的一系列操作执行。
    • 8. 发明授权
    • System and method for human assisted secure information exchange
    • 人工辅助安全信息交换系统和方法
    • US08429405B2
    • 2013-04-23
    • US11863993
    • 2007-09-28
    • Volker RothWolfgang H. PolakEleanor G. Rieffel
    • Volker RothWolfgang H. PolakEleanor G. Rieffel
    • H04L9/32H04L9/00
    • H04W12/12H04W12/04H04W84/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显示颜色,用户将比较颜色并同步。 明显的延迟或色差表示安全威胁。
    • 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
    • G06F15/18G06N3/00G06N3/12
    • G06N3/126G06F8/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.
    • 可以使用遗传编程技术生成可证明正确的计算机程序。 使用期望的行为来定义正式规范。 创建程序的初始种群,其中每个程序具有可以使用形式化技术定义的含义。 应用适应度函数来测量节目的含义之间的距离,即其实际行为和规格。 任何具有零值作为程序含义与规范之间距离的度量的程序被确定为可证明是正确的。 在计算当前一代节目中的部分或全部节目的适应性之后,在当前一代还没有发现可证明正确的节目,在至少一些适合个人的情况下进行突变和/或交叉技术 在当代创造下一代节目。