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

1. 发明授权

US11694091B2 Creation of scope definitions 有权
公开(公告)号：US11694091B2
公开(公告)日：2023-07-04
申请号：US16196669
申请日：2018-11-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Jean-Michel G. B. Bernelas , Ulrich M. Junker , Thierry Kormann , Guilhem J. Molines
IPC分类号： G06N5/025 , G06N5/022 , G06F16/901
CPC分类号： G06N5/025 , G06F16/9024 , G06N5/022
摘要： A method for receiving an ownership graph, wherein the ownership graph comprises a first set of nodes and a first set of directional edges, and wherein each of the first set of directional edges connects two nodes and indicates ownership of a first node by a second node, each node having at most one owner, the ownership graph being acyclic. The method further includes receiving a dependency graph that also comprises a set of nodes and a set of directional edges. The method further includes creating a respective enumerating variable declaration for each node in a path from an owner node to a root node in the ownership graph. The method further includes creating a respective accessing variable declaration for each owner node in the dependency graph of the current node.

2. 发明申请

US20150074045A1 Business Rule Management System 审中-公开
标题翻译：业务规则管理系统
公开(公告)号：US20150074045A1
公开(公告)日：2015-03-12
申请号：US14481392
申请日：2014-09-09
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Sandra E. Belfils , Stephane Hillion , Thierry Kormann , Cyril Mathey
IPC分类号： G06F17/30
CPC分类号： G06Q10/067
摘要： Mechanisms for operating a business rule management system are provided. The mechanisms access a text file describing one or more business processes, and bindings of a plurality of text chunks within the text file to a respective plurality of elements within the business rule management system. The mechanisms detect a change in a bound text chunk in the text file and modify the respective bound element within the business rule management system according to the detected change in the bound text chunk in the text file.
摘要翻译：提供了运行业务规则管理系统的机制。所述机制访问描述一个或多个业务流程的文本文件，以及文本文件内的多个文本块与业务规则管理系统中相应的多个元素的绑定。机制检测文本文件中绑定文本块的变化，并根据检测到的文本文件中绑定文本块的更改修改业务规则管理系统中的相应绑定元素。

3. 发明授权

US10007595B2 Intelligent software test augmenting 有权
公开(公告)号：US10007595B2
公开(公告)日：2018-06-26
申请号：US14846890
申请日：2015-09-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Ulrich M. Junker , Thierry Kormann
IPC分类号： G06F11/36
CPC分类号： G06F11/3684
摘要： Augmenting a software module test suite is provided, which includes: providing a test suite including test cases for a module to convert an N-dimensional space into an output space, where N≥2, the cases covering a first portion of the N-dimensional space; exploring the N-dimensional space by repeating: partitioning a further portion of the N-dimensional space by exploring a partition of the further portion, the partition including partition boundaries defined by a constant value of one of the N input values, each partition having a partition boundary bordering one of the test cases; evaluating the partition and generating a further test case if the evaluation reveals that the partition is not covered by the test cases; and adding the partition to the first portion; until the further portion has been explored or a termination criterion met; and producing an augmented test suite including the generated further test cases.

4. 发明授权

US09378195B2 Logical contingency analysis for domain-specific languages 有权
标题翻译：域特定语言的逻辑应变分析
公开(公告)号：US09378195B2
公开(公告)日：2016-06-28
申请号：US13967610
申请日：2013-08-15
申请人： International Business Machines Corporation
发明人： Jean Michel Bernelas , Ulrich Junker , Thierry Kormann , Stephane Mery
IPC分类号： G06F9/44 , G06F9/45 , G06F17/24 , G06N5/00
CPC分类号： G06F17/241 , G06F8/436 , G06N5/00
摘要： Embodiments relate to validating logical statements in code for domain specific languages. An aspect includes parsing logical statements and annotating constraint type logical statements with specific constraint annotations from the logical grammar of the domain specific language. A non-contradiction graph is built using specific constraint annotations constrained to represent cases satisfying the logical statements and is solved to find a case that satisfies the logical statement or prove that no such case exists, thus locating a contradiction. The non-contradiction graph is negated to form a non-tautology graph constrained to represent cases violating the logical statements and the non-tautology graph is solved to find a case that violates the logical statement or prove that no such case exists, thus locating a tautology. A report is provided regarding at least one case satisfying the logical statement and at least one case violating the logical statement whereby the logical statement is validated.
摘要翻译：实施例涉及在域特定语言的代码中验证逻辑语句。一个方面包括从域特定语言的逻辑语法中分析逻辑语句和注释具有特定约束注释的约束类型逻辑语句。使用受限于表示满足逻辑语句的情况的特定约束注释构建非矛盾图，并且被解决以找到满足逻辑语句或证明不存在这种情况的情况，从而找出矛盾。非矛盾图被否定以形成被限制为表示违反逻辑语句的情况的非重言式图，并且解决非重言式图以找到违反逻辑语句或证明不存在这种情况的情况，从而定位重言式提供了关于满足逻辑语句的至少一个案例和至少一个违反逻辑语句从而逻辑语句被验证的情况的报告。

5. 发明申请

US20200160192A1 CREATION OF SCOPE DEFINITIONS 审中-公开
公开(公告)号：US20200160192A1
公开(公告)日：2020-05-21
申请号：US16196669
申请日：2018-11-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Jean-Michel G.B. Bernelas , Ulrich M. Junker , Thierry Kormann , Guilhem J. Molines
IPC分类号： G06N5/02 , G06F16/901
摘要： A method for receiving an ownership graph, wherein the ownership graph comprises a first set of nodes and a first set of directional edges, and wherein each of the first set of directional edges connects two nodes and indicates ownership of a first node by a second node, each node having at most one owner, the ownership graph being acyclic. The method further includes receiving a dependency graph that also comprises a set of nodes and a set of directional edges. The method further includes creating a respective enumerating variable declaration for each node in a path from an owner node to a root node in the ownership graph. The method further includes creating a respective accessing variable declaration for each owner node in the dependency graph of the current node.

6. 发明授权

US10222978B2 Redefinition of a virtual keyboard layout with additional keyboard components based on received input 有权
公开(公告)号：US10222978B2
公开(公告)日：2019-03-05
申请号：US14792910
申请日：2015-07-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Stephane Hillion , Thierry Kormann , Stephane Jacques-Yves Lizeray , Remi VanKeisbelck
IPC分类号： G06F3/048 , G06F3/0488 , G06F3/023
摘要： A device is provided having a touchscreen, a storage device and a processor connected to the touchscreen and the storage device. The touchscreen is arranged to display a keyboard defined by a keyboard layout and to receive an input on the keyboard. The storage device is arranged to store a specification for a restricted language, and the specification includes a grammar and vocabulary for the restricted language and includes annotations defining additional keyboard components in relation to specific elements within the grammar. The processor is arranged to define the keyboard layout, determine a specific element within the grammar referred to by a received input, and redefine the keyboard layout to include the additional keyboard components defined in the annotation for the determined specific element within the grammar.

7. 发明申请

US20180322397A1 DETECTING CASE FAMILIES WITH ANOMALOUS FREQUENCIES IN RULE-BASED DECISION POLICIES 审中-公开
公开(公告)号：US20180322397A1
公开(公告)日：2018-11-08
申请号：US15588912
申请日：2017-05-08
申请人： International Business Machines Corporation
发明人： Ulrich M. Junker , Thierry Kormann
IPC分类号： G06N5/02 , G06Q10/10
CPC分类号： G06N5/025 , G06Q10/103
摘要： Disclosed embodiments provide techniques for analyzing rule-based decision policies. Data is obtained for a plurality of events. The events can be customer behaviors, or other events that can be interpreted by rules. A rule set is obtained for the plurality of events, where the rule set comprises a plurality of rules. Regions are computed based on the rules within the rule set. Frequency data is computed for the plurality of events, and an indication of frequency density is provided for each region. This allows a user to quickly and easily analyze the effectiveness and appropriateness of the rules as they relate to observed customer behaviors. Recommendations for rule changes can be provided as an output of the disclosed techniques.

8. 发明授权

US09824316B2 Transforming rules into generalized rules in a rule management system 有权
公开(公告)号：US09824316B2
公开(公告)日：2017-11-21
申请号：US14501602
申请日：2014-09-30
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Ulrich Junker , Thierry Kormann
IPC分类号： G06N5/02 , G06Q10/06
CPC分类号： G06Q10/063 , G06F17/30 , G06N5/02 , G06N5/025
摘要： An original set of rules are transformed into a resulting set of generalized rules in a rule management system. An original set of rules stored in a data structure for transforming into a resulting set of rules are accessed. The original set of rules is automatically processed by building a compact description of one or more rules in the original set of rules and their actions in the form of logical constraints and solving constraints to find a solution that represents a case and an applied action, building a family of cases by taking all logical tests or their negation that are satisfied by the solution, and generalizing the family of cases by removal of specific logical tests which do not apply to the action, resulting in a most-general rule.

9. 发明申请

US20170140281A1 IDENTIFYING, FOR A SET OF DECISION RULES, ONE OR MORE DECISION RULES MISSING FROM THE SET OF DECISION RULES 审中-公开
公开(公告)号：US20170140281A1
公开(公告)日：2017-05-18
申请号：US14943219
申请日：2015-11-17
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Stephane Hillion , Ulrich M. Junker , Thierry Kormann
IPC分类号： G06N5/04
CPC分类号： G06N5/045 , G06Q40/025
摘要： Aspects include identifying, for a set of decision rules, one or more decision rules missing from the set of decision rules, the one or more missing decision rules satisfying a set of limitations. A decision rule determines whether a decision is made for a case, and a limitation determines the cases for which a decision should be made. A constraint graph that represents the cases for which no rule of the set of rules makes a decision, and for which all limitations of the set of limitations are satisfied, is built. A missing case represented by the constraint graph is created, and a family description is created from the missing case. The family description is a set of cases for which no rule of the set of rules makes a decision. The one or more missing decision rules are then constructed from the family description.

10. 发明授权

US09423953B2 Emulating pressure sensitivity on multi-touch devices 有权
标题翻译：在多点触摸设备上模拟压力灵敏度
公开(公告)号：US09423953B2
公开(公告)日：2016-08-23
申请号：US14158918
申请日：2014-01-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Jerome Delattre , Stephane Hillion , Thierry Kormann , Remi Van Keisbelck
IPC分类号： G06F3/041 , G06F3/0488 , G06F3/0484
CPC分类号： G06F3/0414 , G06F3/0416 , G06F3/04847 , G06F3/04883 , G06F2203/04104 , G06F2203/04808
摘要： A method, device, and/or computer program product operates a touch-screen device. A first touch at a location on a touch-screen is detected. A second touch on the touch-screen, which occurs simultaneously with the first touch on the touch-screen, is detected. A pressure of the detected second touch is calculated and assigned to the detected first touch. A specific touch-screen output is generated according to the location and assigned calculated pressure of the detected first touch.
摘要翻译：方法，设备和/或计算机程序产品操作触摸屏设备。检测到在触摸屏上的位置的第一次触摸。检测与触摸屏上的第一次触摸同时发生的触摸屏上的第二次触摸。计算检测到的第二触摸的压力并将其分配给检测到的第一触摸。根据检测到的第一触摸的位置和分配的计算压力产生特定的触摸屏输出。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式