专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20090254503A1 METHOD AND SYSTEM FOR AUTOMATED EXPERTISE EXTRACTION 审中-公开
标题翻译：自动化专业提取方法与系统
公开(公告)号：US20090254503A1
公开(公告)日：2009-10-08
申请号：US12062465
申请日：2008-04-03
申请人： Shlomo Hoory , Oded Margalit , Elad Yom-Tov
发明人： Shlomo Hoory , Oded Margalit , Elad Yom-Tov
IPC分类号： G06F17/00
CPC分类号： G06N5/022
摘要： A method and system for expertise extraction for an expert system, is provided. One implementation involves modeling active learning for interrogating an expert for knowledge as attributes of an n-dimensional hyper-cube where each attribute represents a possible output and every dimension represents a feature in a feature space; dividing the n-dimensional hyper-cube into m different attributes, each attribute representing a union of at most p cubes, wherein the n dimensions represent n boolean inputs and the m attributes represent m possible outputs; and discovering all possible outputs by querying a portion of the feature space for generating queries to an expert for all possible outputs, including obtaining at least one representative input for each of the m possible outputs, while using a limited number of queries to the hyper-cube.
摘要翻译：提供了一种用于专家系统的专业知识提取的方法和系统。一个实现涉及建模主动学习以询问知识专家作为n维超立方体的属性，其中每个属性表示可能的输出，并且每个维度表示特征空间中的特征; 将n维超立方体分成m个不同的属性，每个属性表示最多p个立方体的并集，其中n维表示n个布尔输入，m个属性表示m个可能的输出; 并且通过查询所述特征空间的一部分来发现所有可能的输出，用于为所有可能的输出产生对专家的查询，包括为所述m个可能输出中的每一个获得至少一个代表性输入，立方体。

2. 发明授权

US10546396B2 System and method for registration of fluoroscopic images in a coordinate system of a medical system 有权
公开(公告)号：US10546396B2
公开(公告)日：2020-01-28
申请号：US13977438
申请日：2011-12-25
申请人： Uzi Eichler , Yuval Vaknin , Alon Izmirli , Shlomo Hoory
发明人： Uzi Eichler , Yuval Vaknin , Alon Izmirli , Shlomo Hoory
IPC分类号： G06T11/00
摘要： A system for registering a group of images of an anatomical region of a patient in a coordinate system of a medical system is disclosed. The system includes an object disposed in a known position in the coordinate system. In one embodiment, the object has a first state in which the object is visible in at least one image and a second state in which the object is invisible in at least another image. In another embodiment, the object is substantially invisible to the eye in each image, but detectable by image processing. The system includes an electronic control unit configured to process the images to identify an image location of the object, create a transformation model responsive to the image location and the known position of the object in the coordinate system, and register the group of images in the coordinate system using the model.

3. 发明申请

US20110224817A1 AUTOMATICALLY SOLVING A TRUCK CONFIGURATION PROBLEM 审中-公开
标题翻译：自动解决卡车配置问题
公开(公告)号：US20110224817A1
公开(公告)日：2011-09-15
申请号：US12720693
申请日：2010-03-10
申请人： Bella Dubrov , Yehuda Naveh , Shlomo Hoory , Alfons Steinhoff , Ute Twisselmann
发明人： Bella Dubrov , Yehuda Naveh , Shlomo Hoory , Alfons Steinhoff , Ute Twisselmann
IPC分类号： G06F17/50 , G06F17/11
CPC分类号： G06F17/5095 , G06F2217/06 , G06Q10/04 , G06Q10/06
摘要： A truck configuration satisfying a truck configuration problem is automatically determined. The truck configuration problem is transformed to a target function, outputting values indicative of configurations satisfying the truck configuration problem. Stochastic local search methods are applied on the target function to determine the truck configuration. Preprocessing may be performed to improve efficiency, performance or the like of the stochastic local search methods. The truck configuration problem may be obtained from several sources, which may be independent of one another.
摘要翻译：自动确定满足卡车配置问题的卡车配置。卡车配置问题被转换为目标功能，输出表示满足卡车配置问题的配置的值。目标函数应用随机局部搜索方法来确定卡车配置。可以执行预处理以提高随机局部搜索方法的效率，性能等。卡车配置问题可以从多个来源获得，其可以彼此独立。

4. 发明申请

US20090248601A1 EXPLOITING DOUBLE RESOLUTIONS FOR PROOF OPTIMIZATIONS 审中-公开
标题翻译：为证明优化提供双重解决方案
公开(公告)号：US20090248601A1
公开(公告)日：2009-10-01
申请号：US12059152
申请日：2008-03-31
申请人： Omer Bar-Ilan , Oded Fuhrmann , Shlomo Hoory , Ohad Shacham
发明人： Omer Bar-Ilan , Oded Fuhrmann , Shlomo Hoory , Ohad Shacham
IPC分类号： G06N5/02
CPC分类号： G06N5/02 , G06F17/10
摘要： A method for simplifying resolution proofs in DAG format where each leaf node represents a clause and each internal node represents a resolution between its children includes representing a SAT proof as a stripped proof, analyzing pivots to identify redundant resolutions, and constructing a simplified proof without the redundant resolutions.
摘要翻译：一种用于简化DAG格式的分辨率证明的方法，其中每个叶节点表示一个子句，每个内部节点表示其子节点之间的分辨率，包括表示SAT证明作为剥离证明，分析枢轴以识别冗余分辨率，以及构建简化证明冗余分辨率。

5. 发明授权

US08161433B2 Utilizing an unSAT proof for model checking 有权
标题翻译：利用unSAT证明进行模型检查
公开(公告)号：US08161433B2
公开(公告)日：2012-04-17
申请号：US12501501
申请日：2009-07-13
申请人： Oded Fuhrmann , Shlomo Hoory , Ohad Shacham
发明人： Oded Fuhrmann , Shlomo Hoory , Ohad Shacham
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A proof of unsatisfiability associated with a bounded model may be extended to apply to another bounded model having a larger bound. In some exemplary embodiments, an unbounded model may be proved using one or more such extensions. A proof may be reordered in order to decrease its size and increase the productivity of systems that utilize it. The proof may be reorder by a natural temporal order of cycles.
摘要翻译：与有限模型相关联的不满足性的证明可以被扩展以应用于具有较大边界的另一有界模型。在一些示例性实施例中，可以使用一个或多个这样的扩展来证明无界模型。可以重新排序证明，以减小其尺寸并提高利用它的系统的生产率。证明可以通过循环的自然时间顺序重新排序。

6. 发明申请

US20110010139A1 UTILIZING AN UNSAT PROOF FOR MODEL CHECKING 有权
标题翻译：利用UNSAT证明进行模型检查
公开(公告)号：US20110010139A1
公开(公告)日：2011-01-13
申请号：US12501501
申请日：2009-07-13
申请人： Oded Fuhrmann , Shlomo Hoory , Ohad Shacham
发明人： Oded Fuhrmann , Shlomo Hoory , Ohad Shacham
IPC分类号： G06F17/10
CPC分类号： G06F17/504
摘要： A proof of unsatisfiability associated with a bounded model may be extended to apply to another bounded model having a larger bound. In some exemplary embodiments, an unbounded model may be proved using one or more such extensions. A proof may be reordered in order to decrease its size and increase the productivity of systems that utilize it. The proof may be reorder by a natural temporal order of cycles.
摘要翻译：与有限模型相关联的不满足性的证明可以被扩展以应用于具有较大边界的另一有界模型。在一些示例性实施例中，可以使用一个或多个这样的扩展来证明无界模型。可以重新排序证明，以减小其尺寸并提高利用它的系统的生产率。证明可以通过循环的自然时间顺序重新排序。

7. 发明申请

US20130272592A1 System and Method for Registration of Fluoroscopic Images in a Coordinate System of a Medical System 审中-公开
标题翻译：医疗系统坐标系统荧光镜图像登记系统及方法
公开(公告)号：US20130272592A1
公开(公告)日：2013-10-17
申请号：US13977438
申请日：2011-12-25
申请人： Uzi Eichler , Yuval Vaknin , Alon Izmirli , Shlomo Hoory
发明人： Uzi Eichler , Yuval Vaknin , Alon Izmirli , Shlomo Hoory
IPC分类号： G06T11/00
CPC分类号： G06T11/005 , A61B6/547 , A61B6/583 , A61B34/20 , A61B90/39 , A61B2034/2051 , A61B2090/364 , A61B2090/376 , A61B2090/3966 , A61B2090/3983 , A61B2090/3995
摘要： A system for registering a group of images of an anatomical region of a patient in a coordinate system of a medical system is disclosed. The system includes an object disposed in a known position in the coordinate system. In one embodiment, the object has a first state in which the object is visible in at least one image and a second state in which the object is invisible in at least another image. In another embodiment, the object is substantially invisible to the eye in each image, but detectable by image processing. The system includes an electronic control unit configured to process the images to identify an image location of the object, create a transformation model responsive to the image location and the known position of the object in the coordinate system, and register the group of images in the coordinate system using the model.
摘要翻译：公开了一种用于在医疗系统的坐标系中登记患者的解剖区域的一组图像的系统。该系统包括设置在坐标系中已知位置的物体。在一个实施例中，对象具有第一状态，其中对象在至少一个图像中可见，而第二状态中对象在至少另一图像中不可见。在另一个实施例中，对象在每个图像中对于眼睛基本上是不可见的，但是可以通过图像处理来检测。该系统包括：电子控制单元，被配置为处理图像以识别对象的图像位置，响应于坐标系中的图像位置和对象的已知位置创建变换模型，并将该组图像注册在坐标系使用模型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式