会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • System for information discovery in video-based data
    • 基于视频数据的信息发现系统
    • US08407223B2
    • 2013-03-26
    • US12829725
    • 2010-07-02
    • Valerie GuralnikKirk SchloegelPetr Cisar
    • Valerie GuralnikKirk SchloegelPetr Cisar
    • G06F7/00G06F17/30
    • G06F17/30781
    • A system for information discovery of items, such as individuals or objects, from video-based tracks. The system may compute similarities of characteristics of the items and present the results in a matrix form. A similarity portrayal may have nodes representing the items with edges between the nodes. The edges may have weights in the form of vectors indicating similarities of the characteristics between the nodes situated at the ends of the edges. The edges may be augmented with temporal and spatial properties from the tracks which cover the items. These properties may play a part in a multi-objective presentation of information about the items in terms of a negative or supportive basis. The presentation may be partitioned into clusters which may lead to a merger of items or tracks. The system may pave a way for higher-level information discovery such as video-based social networks.
    • 用于信息发现的系统,用于从基于视频的轨道发现项目,例如个人或对象。 系统可以计算项目的特征的相似性并以矩阵形式呈现结果。 相似性描绘可以具有表示具有节点之间的边的项的节点。 边缘可以具有向量形式的权重,指示位于边缘端部处的节点之间的特征的相似性。 可以从覆盖物品的轨道的时间和空间属性来增加边缘。 这些属性可能在以负面或支持为基础的多目标呈现关于项目的信息中发挥作用。 呈现可以被划分成可以导致项目或轨道的合并的群集。 该系统可能为更高级别的信息发现铺平道路,例如基于视频的社交网络。
    • 4. 发明申请
    • SYSTEM FOR INFORMATION DISCOVERY IN VIDEO-BASED DATA
    • 基于视频数据的信息发现系统
    • US20120005208A1
    • 2012-01-05
    • US12829725
    • 2010-07-02
    • Valerie GuralnikKirk SchloegelPetr Cisar
    • Valerie GuralnikKirk SchloegelPetr Cisar
    • G06F17/30G06F7/00
    • G06F17/30781
    • A system for information discovery of items, such as individuals or objects, from video-based tracks. The system may compute similarities of characteristics of the items and present the results in a matrix form. A similarity portrayal may have nodes representing the items with edges between the nodes. The edges may have weights in the form of vectors indicating similarities of the characteristics between the nodes situated at the ends of the edges. The edges may be augmented with temporal and spatial properties from the tracks which cover the items. These properties may play a part in a multi-objective presentation of information about the items in terms of a negative or supportive basis. The presentation may be partitioned into clusters which may lead to a merger of items or tracks. The system may pave a way for higher-level information discovery such as video-based social networks.
    • 用于信息发现的系统,用于从基于视频的轨道发现项目,例如个人或对象。 系统可以计算项目的特征的相似性并以矩阵形式呈现结果。 相似性描绘可以具有表示具有节点之间的边的项的节点。 边缘可以具有向量形式的权重,指示位于边缘端部处的节点之间的特征的相似性。 可以从覆盖物品的轨道的时间和空间属性来增加边缘。 这些属性可能在以负面或支持为基础的多目标呈现关于项目的信息中发挥作用。 呈现可以被划分成可以导致项目或轨道的合并的群集。 该系统可能为更高级别的信息发现铺平道路,例如基于视频的社交网络。
    • 6. 发明申请
    • Method, Apparatus, And System For Automatic Test Generation From Statecharts
    • 方法,设备和系统,用于从状态图生成自动测试
    • US20090287963A1
    • 2009-11-19
    • US12136146
    • 2008-06-10
    • David OglesbyKirk SchloegelDevesh BhattStephen O. Hickman
    • David OglesbyKirk SchloegelDevesh BhattStephen O. Hickman
    • G06F11/36G06F17/30
    • G06F11/3684
    • An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.
    • 提供了一种用于从状态图生成多个输出测试向量的装置和方法。 状态图可以指定由系统执行设备执行的系统功能的要求。 状态图包括多个状态,多个转换和多个变量。 可以执行正向传播通过状态图的过程以产生多个向前到达转变环境。 可以执行反向传播通过状态图,以产生多个后向到达转变环境。 从多个前进到达转变环境和/或多个后向到达转变环境生成多个输出测试向量。 测试驱动器可以在系统执行设备上执行多个测试,其中多个测试基于多个输出测试向量。
    • 8. 发明授权
    • Method, apparatus, and system for automatic test generation from statecharts
    • 用于从状态图生成自动测试的方法,装置和系统
    • US08307342B2
    • 2012-11-06
    • US12136146
    • 2008-06-10
    • David OglesbyKirk SchloegelDevesh BhattStephen O. Hickman
    • David OglesbyKirk SchloegelDevesh BhattStephen O. Hickman
    • G06F9/44
    • G06F11/3684
    • An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.
    • 提供了一种用于从状态图生成多个输出测试向量的装置和方法。 状态图可以指定由系统执行设备执行的系统功能的要求。 状态图包括多个状态,多个转换和多个变量。 可以执行正向传播通过状态图的过程以产生多个向前到达转变环境。 可以执行反向传播通过状态图,以产生多个后向到达转变环境。 从多个前进到达转变环境和/或多个后向到达转变环境生成多个输出测试向量。 测试驱动器可以在系统执行设备上执行多个测试,其中多个测试基于多个输出测试向量。
    • 9. 发明申请
    • AUTO-GENERATION OF CONCURRENT CODE FOR MULTI-CORE APPLICATIONS
    • 自动生成多核应用程序的同步代码
    • US20120060145A1
    • 2012-03-08
    • US12874731
    • 2010-09-02
    • Kirk SchloegelDevesh Bhatt
    • Kirk SchloegelDevesh Bhatt
    • G06F9/44
    • G06F8/451
    • A code generation system comprises a model analyzer configured to identify data dependencies in a data flow diagram that describes functional behavior of an application, wherein the model analyzer is further configured to compute a data and computation map based on the data dependencies and to compute one or more implementation constraints; a model partitioner configured to compute one or more partition boundaries based on the data and computation map and the one or more implementation constraints; and a code generator configured to generate parallelized code based on the data flow diagram, the one or more implementation constraints, and the one or more partition boundaries, wherein the code generator is configured to map the code corresponding to each partition defined by the one or more partition boundaries to one of a plurality of cores of a multi-core processor, and to generate inter-core communication code for at least one line of the data and computation map crossed by the one or more partition boundaries.
    • 代码生成系统包括模型分析器,其被配置为识别描述应用的功能行为的数据流程图中的数据依赖性,其中所述模型分析器还被配置为基于所述数据依赖性来计算数据和计算图,并且计算一个或 更多的实施约束; 模型分割器,其被配置为基于所述数据和计算图以及所述一个或多个实现约束来计算一个或多个分区边界; 以及代码生成器,被配置为基于所述数据流程图,所述一个或多个实施约束以及所述一个或多个分区边界来生成并行化代码,其中所述代码生成器被配置为映射与由所述一个或多个 更多的分区边界到多核处理器的多个核心之一,并且生成用于由一个或多个分区边界穿过的数据和计算图的至少一行的核心间通信代​​码。
    • 10. 发明授权
    • Type and range propagation through data-flow models
    • 通过数据流模型进行类型和范围传播
    • US08984488B2
    • 2015-03-17
    • US13006750
    • 2011-01-14
    • Devesh BhattSteve HickmanManish PatodiDavid V. OglesbyKirk Schloegel
    • Devesh BhattSteve HickmanManish PatodiDavid V. OglesbyKirk Schloegel
    • G06F9/44G06F11/36
    • G06F11/3684G06F11/3604
    • Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.
    • 提供了通过数据流模型进行类型和范围传播的系统和方法。 在一个实施例中,一种用于处理数据流程图的测试生成系统,该系统包括:被编程为执行测试生成过程的处理器; 以及耦合到所述处理器的至少一个存储器设备,所述至少一个存储器设备包括数据流程图。 测试生成处理通过对一个或多个功能块中的每一个的输入的输入范围信息应用转换来计算由数据流程图定义的一个或多个功能块的输出的范围信息和数据类型信息。 至少部分地通过应用基于块类型为一个或多个功能块中的每一个预定义的特定数学和功能效应来执行变换。