会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 73. 发明授权
    • Reconfigurable hardware accelerator for boolean satisfiability solver
    • 用于布尔可满足性求解器的可重构硬件加速器
    • US08131660B2
    • 2012-03-06
    • US12099160
    • 2008-04-08
    • John DavisZhangxi TanFang YuLintao Zhang
    • John DavisZhangxi TanFang YuLintao Zhang
    • G06N5/02
    • G06N5/04
    • A hardware accelerator is provided for Boolean constraint propagation (BCP) using field-programmable gate arrays (FPGAs) for use in solving the Boolean satisfiability problem (SAT). An inference engine may perform implications. Block RAM (BRAM) may be used to store SAT instance information. Computation may be co-located with the BRAM memory, taking advantage of the high on-chip bandwidth and low latency of an FPGA. SAT instances may be partitioned into multiple groups that can be processed by multiple inference engines in parallel. New SAT instances can be inserted into FPGA without invoking the time-consuming FPGA re-synthesizing process.
    • 提供了用于布尔约束传播(BCP)的硬件加速器,使用现场可编程门阵列(FPGA)来解决布尔可满足性问题(SAT)。 推理引擎可能会产生影响。 块RAM(BRAM)可用于存储SAT实例信息。 计算可以与BRAM存储器共存,利用FPGA的高片上带宽和低延迟。 SAT实例可以被划分成多个可由多个推理引擎并行处理的组。 新的SAT实例可以插入到FPGA中,而无需调用耗时的FPGA重新合成过程。
    • 74. 发明授权
    • System, method, and computer program product for evaluating photographic performance
    • 用于评估摄影性能的系统,方法和计算机程序产品
    • US08065197B2
    • 2011-11-22
    • US11682471
    • 2007-03-06
    • John GrossoJohn DavisJohnny Grosso
    • John GrossoJohn DavisJohnny Grosso
    • G06Q30/00G06K9/62
    • G06Q30/0603G06Q30/02G06Q30/0623
    • A method for automatically evaluating photographic performance is provided. The method includes recording with a camera device one or more images during a photography session. The images are digitally stored, and image information related to the images is automatically compiled. The image information may include sales data, image content data, image capture data, and sales condition data. Other image information may be manually compiled. At least one photographic performance metric is automatically generated using at least one of the images and the image information. The performance metric acts to facilitate evaluation of one or more aspects of photographic performance. A system and a computer program product for automatically evaluating photographic performance are also provided.
    • 提供了一种自动评估照相性能的方法。 该方法包括在摄影会话期间用相机设备记录一个或多个图像。 图像被数字存储,并且与图像相关的图像信息被自动编译。 图像信息可以包括销售数据,图像内容数据,图像捕获数据和销售条件数据。 其他图像信息可以手动编译。 使用至少一个图像和图像信息自动生成至少一个摄影性能度量。 性能指标用于促进评估摄影性能的一个或多个方面。 还提供了用于自动评估照相性能的系统和计算机程序产品。