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

1. 发明授权

US08375052B2 Outgoing message monitor 有权
标题翻译：传出消息监视器
公开(公告)号：US08375052B2
公开(公告)日：2013-02-12
申请号：US11866637
申请日：2007-10-03
申请人： Lucas Bordeaux , Youssef Hamadi , Shahram Izadi , Vishwa Vinay
发明人： Lucas Bordeaux , Youssef Hamadi , Shahram Izadi , Vishwa Vinay
IPC分类号： G06F17/30
CPC分类号： G06Q10/107
摘要： An outgoing message monitor is provided. In an embodiment, outgoing messages are monitored to detect potential errors and alerts may be triggered. Using information about a message such as an email, a first classifier classifies the email into an expected class and a second classifier classifies the email into an actual class. On the basis of a comparison of the expected and actual classes an alert may be triggered. In an embodiment, the second classifier uses information derived from text content of the email which may optionally be pre-processed. The first classifier, for example, uses other information about the email such as its intended recipients, information about the presence of attachments, information about whether the email is part of a thread and other information.
摘要翻译：提供一个传出的消息监视器。在一个实施例中，监视传出的消息以检测潜在的错误，并且可以触发警报。使用关于诸如电子邮件的消息的信息，第一分类器将电子邮件分类为预期类，并且第二分类器将电子邮件分类为实际类。根据预期和实际类别的比较，可能会触发警报。在一个实施例中，第二分类器使用从可能可预先处理的电子邮件的文本内容导出的信息。例如，第一个分类器使用关于电子邮件的其他信息，例如其预期收件人，关于附件的存在的信息，关于该电子邮件是否是线程的一部分的信息以及其他信息。

2. 发明申请

US20090094240A1 Outgoing Message Monitor 有权
标题翻译：传出消息监视器
公开(公告)号：US20090094240A1
公开(公告)日：2009-04-09
申请号：US11866637
申请日：2007-10-03
申请人： Lucas Bordeaux , Youssef Hamadi , Shahram Izadi , Vishwa Vinay
发明人： Lucas Bordeaux , Youssef Hamadi , Shahram Izadi , Vishwa Vinay
IPC分类号： G06F17/30
CPC分类号： G06Q10/107
摘要： An outgoing message monitor is provided. In an embodiment, outgoing messages are monitored to detect potential errors and alerts may be triggered. Using information about a message such as an email, a first classifier classifies the email into an expected class and a second classifier classifies the email into an actual class. On the basis of a comparison of the expected and actual classes an alert may be triggered. In an embodiment, the second classifier uses information derived from text content of the email which may optionally be pre-processed. The first classifier, for example, uses other information about the email such as its intended recipients, information about the presence of attachments, information about whether the email is part of a thread and other information.
摘要翻译：提供一个传出的消息监视器。在一个实施例中，监视传出的消息以检测潜在的错误，并且可以触发警报。使用关于诸如电子邮件的消息的信息，第一分类器将电子邮件分类为预期类，并且第二分类器将电子邮件分类为实际类。根据预期和实际类别的比较，可能会触发警报。在一个实施例中，第二分类器使用从可能可预先处理的电子邮件的文本内容导出的信息。例如，第一个分类器使用关于电子邮件的其他信息，例如其预期收件人，关于附件的存在的信息，关于该电子邮件是否是线程的一部分的信息以及其他信息。

3. 发明授权

US08346704B2 Controlled constraint sharing in parallel problem solvers 有权
标题翻译：并行问题求解器中受控约束共享
公开(公告)号：US08346704B2
公开(公告)日：2013-01-01
申请号：US12465440
申请日：2009-05-13
申请人： Youssef Hamadi , Said Jabbour
发明人： Youssef Hamadi , Said Jabbour
IPC分类号： G06F17/00 , G06N5/02
CPC分类号： G06N5/04
摘要： Controlled constraint sharing in parallel problem solvers is described. In embodiments, constraint sharing in a problem solver is controlled by comparing a total number of shared constraints obtained in a time interval to a target, and regulating the subsequent number of shared constraints obtained from other problem solvers accordingly. Embodiments describe how the regulation of the subsequent number of shared constraints can be achieved by controlling the size of constraints shared by other problem solvers. Embodiments describe how an additive increase/multiplicative decrease algorithm can be used to determine the size of constraints to be exchanged. Embodiments also describe how the utility of the shared constraints can be determined, and used to control the size of constraints shared by other problem solvers. In embodiments, the problem solver is a Boolean satisfiability problem solver.
摘要翻译：描述了并行问题求解器中的受控约束共享。在实施例中，通过将在时间间隔中获得的共享约束的总数与目标进行比较来控制问题求解器中的约束共享，并且相应地调节从其他问题解决者获得的随后的共享约束数。实施例描述了如何通过控制其他问题解决者共享的约束的大小来实现对后续数量的共享约束的调节。实施例描述了如何使用添加增加/乘法减少算法来确定要交换的约束的大小。实施例还描述了如何确定共享约束的效用，并且用于控制由其他问题解决者共享的约束的大小。在实施例中，问题求解器是布尔可满足性问题求解器。

4. 发明授权

US07472094B2 Multi-ordered distributed constraint search 有权
标题翻译：多阶分布约束搜索
公开(公告)号：US07472094B2
公开(公告)日：2008-12-30
申请号：US11192556
申请日：2005-07-28
申请人： Youssef Hamadi , Georg Ringwelski
发明人： Youssef Hamadi , Georg Ringwelski
IPC分类号： G06N5/00
CPC分类号： G06F9/5066 , G06F9/5027 , G06F2209/506 , G06N5/00 , H04L45/00 , H04Q2213/13054 , H04Q2213/13174
摘要： A node participating in a network of nodes that solve a distributed constraint problem. The nodes have mutually constrained sub-problems of the constraint problem. The node receives values or decisions from neighbor nodes. Those values or decisions allow the sub-problems of the neighbor nodes to be solved. Some received values or decisions correspond to a first ordering of the nodes, and some received values or decisions correspond to a second ordering of the nodes. Attempts are made to solve the sub-problem of the node as constrained by the values or decisions of the neighbor nodes. Results of the attempts are communicated to neighbor nodes, where for a given value or decision the node to which the corresponding attempt result is communicated depends on which of the orderings the given value or decision corresponds to. An attempt for one context can be affected by attempts in another context.
摘要翻译：参与解决分布式约束问题的节点网络的节点。节点具有约束问题的相互约束的子问题。节点从邻居节点接收值或决策。这些值或决策允许解决邻居节点的子问题。一些接收到的值或判定对应于节点的第一次排序，并且一些接收的值或判定对应于节点的第二次排序。尝试解决由邻居节点的值或决定所约束的节点的子问题。尝试的结果被传送到邻居节点，其中对于给定的值或决定，相应的尝试产生的节点所通信的节点取决于给定值或决定对应的哪个顺序。一个上下文的尝试可能受到另一个上下文中的尝试的影响。

5. 发明申请

US20080184250A1 Synchronizing Workflows 审中-公开
标题翻译：同步工作流程
公开(公告)号：US20080184250A1
公开(公告)日：2008-07-31
申请号：US11669082
申请日：2007-01-30
申请人： Youssef Hamadi , Claude-Guy Quimper
发明人： Youssef Hamadi , Claude-Guy Quimper
IPC分类号： G06F9/46 , G06F9/50
CPC分类号： G06F9/5038
摘要： Processes are often cross-functional and involve the flow of information between several functional areas. For example, an order fulfillment process may require input from sales, logistics and manufacturing. Existing workflow engines, which do not use constraint programming techniques, are able to model such cross-functional processes only where the workflows are precisely and accurately defined. A constraint programming approach to workflow analysis is used here. A synchronization module in a constraint programming workflow engine scheduler receives registrations from listener tasks in a workflow which are dependent on tasks in other workflows. The synchronization module triggers the listener tasks at appropriate times to monitor for information from the dependent tasks. In this way cross-workflow synchronization is achieved by specifying listener tasks and registering these at the synchronization module. Thus it is not essential for the workflows to be precisely defined.
摘要翻译：流程通常是跨功能的，涉及到几个功能区域之间的信息流。例如，订单履行过程可能需要来自销售，物流和制造的投入。不使用约束编程技术的现有工作流引擎只能在准确和准确地定义工作流程的情况下对这种跨功能过程进行建模。这里使用工作流分析的约束编程方法。约束编程工作流引擎调度程序中的同步模块从工作流中的监听器任务接收注册，这些任务依赖于其他工作流中的任务。同步模块在适当的时间触发侦听器任务以监视从属任务的信息。以这种方式，通过指定侦听器任务并在同步模块上注册这些任务来实现跨工作流同步。因此，精确定义工作流程并不重要。

6. 发明申请

US20050052535A1 Context sensitive camera 审中-公开
标题翻译：背景敏感相机
公开(公告)号：US20050052535A1
公开(公告)日：2005-03-10
申请号：US10659121
申请日：2003-09-10
申请人： Youssef Hamadi
发明人： Youssef Hamadi
IPC分类号： G06K9/62 , H04N5/225
CPC分类号： G06K9/6293
摘要： Image understanding applications are assisted by a system that provides context for captured images. Devices in an image are capable of identifying themselves to the image capture device. The identifications may then be used to identify specific models needed to match possible devices in the image. In addition, the identifications may also be used to narrow the library of models needed to match possible devices in the image. Therefore, the library of possible objects may be narrowed to exclude most outdoor-oriented models or to include predominantly office-related objects. Narrowing the scope of possible models to consider can dramatically improve the effectiveness and efficiency of image understanding applications in these environments.
摘要翻译：图像理解应用程序由为捕获的图像提供上下文的系统辅助。图像中的设备能够识别自己到图像捕获设备。然后可以使用标识来识别匹配图像中的可能设备所需的特定模型。此外，标识也可用于缩小与图像中的可能设备匹配所需的模型库。因此，可能的对象的图书馆可能被缩小，以排除大多数以户外为主的模型，或者主要包括与办公室相关的对象。缩小考虑的可能模型的范围可以显着提高图像理解应用程序在这些环境中的有效性和效率。

7. 发明申请

US20140013299A1 GENERALIZATION AND/OR SPECIALIZATION OF CODE FRAGMENTS 审中-公开
标题翻译：代码片段的通用化和/或专业化
公开(公告)号：US20140013299A1
公开(公告)日：2014-01-09
申请号：US13542975
申请日：2012-07-06
申请人： Lucas Julien Bordeaux , Sumit Gulwani , Youssef Hamadi , Yi Wei
发明人： Lucas Julien Bordeaux , Sumit Gulwani , Youssef Hamadi , Yi Wei
IPC分类号： G06F9/44
CPC分类号： G06F8/30 , G06F8/36
摘要： Generalization and/or specialization of code fragments is described, for example, as part of a tool for software developers. In an embodiment, a developer inserts natural language expressing a programming task into code he or she is developing in an integrated development environment; a program synthesizer obtains relevant (possibly non-compiling) code fragments for the task, merges those together to form a snippet, specializes the snippet for the context of the code and inserts the specialized snippet into the code. For example, a pair of code fragments are obtained from a search engine and are merged by discarding statements which are not common to each of the pair. In examples, pairs of code fragments are selected using search engine ranks, user input, or frequency. In embodiments, placeholders replace variable names in the merged fragments. An example takes a syntax tree of the code being developed and uses that to specialize snippets.
摘要翻译：例如，作为软件开发人员工具的一部分，描述了代码片段的泛化和/或专业化。在一个实施例中，开发人员将表达编程任务的自然语言插入他或她正在集成开发环境中开发的代码; 一个程序合成器获得相关的（可能是非编译的）代码片段的任务，将这些代码段合并在一起形成一个代码段，专门为代码的上下文提供了一个代码段，并将专门的代码段插入到代码中。例如，从搜索引擎获得一对代码片段，并且通过丢弃对于每个对不常见的语句来合并。在示例中，使用搜索引擎排名，用户输入或频率来选择代码片段对。在实施例中，占位符替换合并的片段中的变量名。一个例子是正在开发的代码的语法树，并使用它来专门化代码段。

8. 发明授权

US08180658B2 Exploitation of workflow solution spaces to account for changes to resources 有权
标题翻译：利用工作流解决方案空间来解释资源的变化
公开(公告)号：US08180658B2
公开(公告)日：2012-05-15
申请号：US11669064
申请日：2007-01-30
申请人： Youssef Hamadi , Claude-Guy Quimper
发明人： Youssef Hamadi , Claude-Guy Quimper
IPC分类号： G06Q10/00
CPC分类号： G06Q10/06 , G06Q10/063 , G06Q10/0631 , G06Q10/06311 , G06Q10/06375
摘要： It is difficult for managers or other operators to decide how best to modify an available pool of resources used for their workflows. Methods for achieving this by improving the robustness of workflows are described. The more robust a workflow, the better its ability to withstand detrimental changes to its associated pool of resources. It is recognized here that the size of the solution space for the problem of allocating resources to tasks in a workflow provides a useful indicator of robustness of a workflow. In general, the greater the size of the solution space the more robust the workflow. A constraint optimization problem is specified for the problem of how best to modify resource characteristics of a pool of resources in order to maximize a size of a solution space. The solution space is that for the problem of allocating resources from the pool to tasks in a workflow.
摘要翻译：管理者或其他运营商很难决定如何最佳地修改用于其工作流的可用资源池。描述了通过提高工作流的鲁棒性来实现此目的的方法。工作流程越强大，能够承受相关资源库的不利变化。这里已经认识到，为工作流中的任务分配资源的问题的解决方案空间的大小提供了工作流的鲁棒性的有用指标。一般来说，解决方案空间越大，工作流程就越强大。针对如何最佳地修改资源池的资源特性以便最大化解空间的大小的问题，规定了约束优化问题。解决方案的空间是将资源从池分配到工作流中的任务的问题。

9. 发明授权

US07890439B2 Tuning of problem solvers 有权
标题翻译：调整问题解决者
公开(公告)号：US07890439B2
公开(公告)日：2011-02-15
申请号：US11611654
申请日：2006-12-15
申请人： Youssef Hamadi
发明人： Youssef Hamadi
IPC分类号： G06E1/00 , G06E3/00
CPC分类号： G06N99/005
摘要： It is difficult to select parameter values for constraint programming problem solvers which will yield good performance. Automated tuning of such problem solvers on a per problem instance basis may be used and this involves learning a function for predicting the runtime of a problem solver depending on parameter values of the problem solver and features of the problem instance being solved. However, it takes time for such prediction functions to be learnt, either during operation of a problem solver or offline, using specified examples. To address this, information about such a prediction function is shared between two or more problem solvers to improve performance. A sharing system may be used to receive prediction function information and send this to problem solvers.
摘要翻译：选择约束编程问题求解器的参数值是困难的，这将产生良好的性能。可以使用基于每个问题实例的这种问题解决者的自动调整，并且这涉及根据问题解决器的参数值和正在解决的问题实例的特征来学习用于预测问题求解器的运行时间的函数。然而，使用指定的例子，在问题解决器或离线操作期间，需要学习这样的预测函数的时间。为了解决这个问题，有关这种预测功能的信息在两个或多个问题解决者之间共享以提高性能。可以使用共享系统来接收预测功能信息并将其发送给问题解决者。

10. 发明申请

US20100293127A1 Controlled Constraint Sharing in Parallel Problem Solvers 有权
标题翻译：并行问题解决方案中受控约束共享
公开(公告)号：US20100293127A1
公开(公告)日：2010-11-18
申请号：US12465440
申请日：2009-05-13
申请人： Youssef Hamadi , Said Jabbour
发明人： Youssef Hamadi , Said Jabbour
IPC分类号： G06N5/04
CPC分类号： G06N5/04
摘要： Controlled constraint sharing in parallel problem solvers is described. In embodiments, constraint sharing in a problem solver is controlled by comparing a total number of shared constraints obtained in a time interval to a target, and regulating the subsequent number of shared constraints obtained from other problem solvers accordingly. Embodiments describe how the regulation of the subsequent number of shared constraints can be achieved by controlling the size of constraints shared by other problem solvers. Embodiments describe how an additive increase/multiplicative decrease algorithm can be used to determine the size of constraints to be exchanged. Embodiments also describe how the utility of the shared constraints can be determined, and used to control the size of constraints shared by other problem solvers. In embodiments, the problem solver is a Boolean satisfiability problem solver.
摘要翻译：描述了并行问题求解器中的受控约束共享。在实施例中，通过将在时间间隔中获得的共享约束的总数与目标进行比较来控制问题求解器中的约束共享，并且相应地调节从其他问题解决者获得的随后的共享约束数。实施例描述了如何通过控制其他问题解决者共享的约束的大小来实现对后续数量的共享约束的调节。实施例描述了如何使用添加增加/乘法减少算法来确定要交换的约束的大小。实施例还描述了如何确定共享约束的效用，并且用于控制由其他问题解决者共享的约束的大小。在实施例中，问题求解器是布尔可满足性问题求解器。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式