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

1. 发明授权

US06871174B1 System and method for matching a textual input to a lexical knowledge base and for utilizing results of that match 有权
标题翻译：用于将文本输入与词汇知识库进行匹配并利用该匹配的结果的系统和方法
公开(公告)号：US06871174B1
公开(公告)日：2005-03-22
申请号：US09572765
申请日：2000-05-17
申请人： William B. Dolan , Michael Barnett , Stephen D. Richardson , Arul A. Menezes , Lucretia H. Vanderwende
发明人： William B. Dolan , Michael Barnett , Stephen D. Richardson , Arul A. Menezes , Lucretia H. Vanderwende
IPC分类号： G06F17/27 , G06F17/30 , G06F15/62
CPC分类号： G06F17/30684 , G06F17/271 , G06F17/277 , G06F17/2785 , Y10S707/99932 , Y10S707/99935
摘要： The present invention can be used in a natural language processing system to determine a relationship (such as similarity in meaning) between two textual segments. The relationship can be identified or determined based on logical graphs generated from the textual segments. A relationship between first and second logical graphs is determined. This is accomplished regardless of whether there is an exact match between the first and second logical graphs. In one embodiment, the first graph represents an input textual discourse unit. The second graph, in one embodiment, represents information in a lexical knowledge base (LKB). The input graph can be matched against the second graph, if they have similar meaning, even if the two differ lexically or structurally.
摘要翻译：本发明可以用于自然语言处理系统中以确定两个文本段之间的关系（诸如意义上的相似性）。可以基于从文本段生成的逻辑图来识别或确定关系。确定第一和第二逻辑图之间的关系。无论第一个和第二个逻辑图之间是否存在精确的匹配，这是完成的。在一个实施例中，第一图表示输入文本话语单元。在一个实施例中，第二个图表示词汇知识库（LKB）中的信息。输入图可以与第二个图匹配，如果它们具有相似的含义，即使两者在词汇或结构上不同。

2. 发明授权

US07013264B2 System and method for matching a textual input to a lexical knowledge based and for utilizing results of that match 失效
标题翻译：用于将文本输入与基于词汇知识相匹配并用于利用该匹配的结果的系统和方法
公开(公告)号：US07013264B2
公开(公告)日：2006-03-14
申请号：US10977910
申请日：2004-10-29
申请人： William B. Dolan , Michael Barnett , Stephen D. Richardson , Arul A. Menezes , Lucretia H. Vanderwende
发明人： William B. Dolan , Michael Barnett , Stephen D. Richardson , Arul A. Menezes , Lucretia H. Vanderwende
IPC分类号： G06F17/30
CPC分类号： G06F17/30684 , G06F17/271 , G06F17/277 , G06F17/2785 , Y10S707/99932 , Y10S707/99935
摘要： The present invention can be used in a natural language processing system to determine a relationship (such as similarity in meaning) between two textual segments. The relationship can be identified or determined based on logical graphs generated from the textual segments. A relationship between first and second logical graphs is determined. This is accomplished regardless of whether there is an exact match between the first and second logical graphs. In one embodiment, the first graph represents an input textual discourse unit. The second graph, in one embodiment, represents information in a lexical knowledge base (LKB). The input graph can be matched against the second graph, if they have similar meaning, even if the two differ lexically or structurally.
摘要翻译：本发明可以用于自然语言处理系统中以确定两个文本段之间的关系（诸如意义上的相似性）。可以基于从文本段生成的逻辑图来识别或确定关系。确定第一和第二逻辑图之间的关系。无论第一个和第二个逻辑图之间是否存在精确的匹配，这是完成的。在一个实施例中，第一图表示输入的文本话语单元。在一个实施例中，第二个图表示词汇知识库（LKB）中的信息。输入图可以与第二个图匹配，如果它们具有相似的含义，即使两者在词汇或结构上不同。

3. 发明申请

US20230119262A1 System and Method of Controlling Equipment Based on Data Transferred In-Band in Video via Optically Encoded Images 有权
公开(公告)号：US20230119262A1
公开(公告)日：2023-04-20
申请号：US18082828
申请日：2022-12-16
申请人： Michael Barnett
发明人： Michael Barnett
IPC分类号： G06T1/00 , H04N21/235 , H04N19/467 , H04N19/40
摘要： Data is encoded into one or more optically encoded images. The optically encoded images are then inserted as image data into a video sequence - i.e., in video frames. Data are transmitted in-band within the video, via any conceivable video distribution channel or format. The video may be trans-coded as required - because the data are optically encoded, any video processing that even crudely preserves the frame images will preserve the optically encoded data. This scheme of in-band data transfer in video is very robust. A video receiving apparatus receives the video, inspects the image data from video frames in memory, detects optically encoded images in the image data, and decodes the optically encoded images to recover the data. The frames carrying optically encoded images are typically discarded and not rendered to a display. The receiver controls connected equipment, other than a display (e.g., a musical instrument), based on the extracted data.

4. 发明申请

US20070169019A1 Hiding irrelevant facts in verification conditions 失效
标题翻译：在验证条件中隐藏不相干的事实
公开(公告)号：US20070169019A1
公开(公告)日：2007-07-19
申请号：US11337129
申请日：2006-01-19
申请人： K. Leino , Michael Barnett
发明人： K. Leino , Michael Barnett
IPC分类号： G06F9/45
CPC分类号： G06F11/3608
摘要： A program verification process begins by converting a language of the program from a first language into an intermediate language representation. The loops of the program are eliminated. The program is converted from the intermediate language representation into a passive form. Dominators for the passive form of the program are determined. A verification condition is generated from the passive form of the program. The verification condition is structured according to the computed dominators such that when a theorem prover identifies a potential error, portions of the passive form of the program irrelevant to the potential error are ignored.
摘要翻译：程序验证过程开始于将程序的语言从第一语言转换为中间语言表示。程序的循环被消除。该程序从中间语言表示形式转换为被动形式。确定程序被动形式的多数人。验证条件是从程序的被动形式生成的。验证条件根据计算的主导者构造，使得当定理证明者识别潜在错误时，与潜在错误无关的程序的被动形式的部分被忽略。

5. 发明授权

US07216338B2 Conformance execution of non-deterministic specifications for components 有权
标题翻译：组件的非确定性规范的一致性执行
公开(公告)号：US07216338B2
公开(公告)日：2007-05-08
申请号：US10081329
申请日：2002-02-20
申请人： Michael Barnett , Wolfram Schulte
发明人： Michael Barnett , Wolfram Schulte
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3672
摘要： To perform conformance checking of a software implementation with a (possibly non-deterministic) specification, a software implementation and a software specification are applied to produce a CT enabled implementation. Nondeterministic choices of the software specification result in assigning a corresponding choice of the CT enabled implementation to a variable. The CT enabled implementation includes a test that the variable then comprises one of the nondeterministic choices of the software specification. To perform conformance testing where the software specification includes ordered steps, and calls to methods of other classes (mandatory calls), a software object is produced and organized such that each step of the software specification has a corresponding code section in the software object. The software object includes instructions to generate an identification of a mandatory call comprised by the software specification, and instructions to test that the state of the implementation conforms to the software specification during the mandatory call.
摘要翻译：为了执行具有（可能非确定性）规范的软件实现的一致性检查，应用软件实现和软件规范来产生支持CT的实现。软件规范的非确定性选择导致将CT启用的实现的相应选择分配给变量。 CT启用的实现包括测试，该变量然后包括软件规范的非确定性选择之一。为了执行一致性测试，其中软件规范包括有序步骤，并且调用其他类（强制调用）的方法，生成和组织软件对象，使得软件规范的每个步骤在软件对象中具有对应的代码部分。软件对象包括用于生成由软件规范组成的强制呼叫的标识的指令，以及在强制呼叫期间测试实现状态符合软件规范的指令。

6. 再颁专利

USRE39369E1 Electronic casino gaming system with improved play capacity, authentication and security 失效
公开(公告)号：USRE39369E1
公开(公告)日：2006-10-31
申请号：US10224699
申请日：1996-06-17
申请人： Allan E. Alcorn , Michael Barnett , Louis D. Giacalone, Jr. , Adam E. Levinthal
发明人： Allan E. Alcorn , Michael Barnett , Louis D. Giacalone, Jr. , Adam E. Levinthal
IPC分类号： A63F13/00 , G06F5/00
CPC分类号： G06F21/00 , G06F21/51 , G06F21/57 , G06F21/64 , G06F2211/007 , G06F2221/2109 , G06Q50/34 , G07F17/32 , G07F17/3288 , H04L9/3236 , H04L9/3247 , H04L2209/60
摘要： The electronic casino gaming system consists of several system components, including a microprocessor (12), a main memory unit (13) that is typically a random access memory, and a system boot ROM (14). Also included in the electronic casino gaming system are a non-volatile RAM (17), a mass storage unit (18), a disk subsystem (19), and a PCI bus (20). The disk subsystem (19) preferably supports SCSI-2 with options of fast and wide. A video subsystem (22) is also included in the electronic casino gaming system and is coupled to the PCI bus (20) to provide full color still images and MPEG movies.

7. 发明授权

US06287202B1 Dynamic tournament gaming method and system 失效
标题翻译：动态比赛游戏方法和系统
公开(公告)号：US06287202B1
公开(公告)日：2001-09-11
申请号：US08672775
申请日：1996-06-28
申请人： Andrew Pascal , Louis David Giacalone, Jr. , Michael Barnett
发明人： Andrew Pascal , Louis David Giacalone, Jr. , Michael Barnett
IPC分类号： A63F924
CPC分类号： G07F17/3276 , A63F13/08 , A63F13/12 , A63F2009/241 , A63F2300/404 , A63F2300/50 , G07F17/3211
摘要： Dynamic tournament gaming method and system, including the provision of a plurality of gaming terminals selectively interlinkable together with a host terminal so that current players of the terminals desiring to participate in group tournament play can be notified of the opportunity and provided with the choice to play or not. If a current player chooses to play, he so signifies, enters his entry fee into the terminal, and awaits start of the event. Upon start of the tournament by the host terminal, the player will play the tournament game over and over as fast as possible to accumulate as many points as possible during a particular pre-announced tournament period. The host terminal will continuously monitor the terminals of all play participants, dynamically record play status, and control termination of the game period. It will also conduct an accounting of the results, issue win results notification, and perhaps provide remote pay-out of game winnings.
摘要翻译：动态比赛游戏方法和系统，包括提供与宿主终端选择性地相互联系的多个游戏终端，使得希望参加群组比赛的终端的当前玩家可以被通知机会并提供选择玩或不。如果现在的玩家选择玩，他就这样表示，将入场费输入终端，等待事件的开始。在主机终端开始比赛时，玩家将尽可能快地玩比赛游戏，以在特定的预先宣布的比赛期间累积尽可能多的积分。主机终端将持续监控所有参与者的终端，动态记录播放状态，并控制游戏时间段的终止。还将对结果进行会计处理，发布结果通知，也可以提供远程支付游戏奖金。

8. 发明授权

US6149522A Method of authenticating game data sets in an electronic casino gaming system 失效
标题翻译：在电子赌场游戏系统中认证游戏数据集的方法
公开(公告)号：US6149522A
公开(公告)日：2000-11-21
申请号：US107031
申请日：1998-06-29
申请人： Allan E. Alcorn , Michael Barnett , Louis D Giacalone, Jr. , Adam E. Levinthal
发明人： Allan E. Alcorn , Michael Barnett , Louis D Giacalone, Jr. , Adam E. Levinthal
IPC分类号： A63F13/00 , G06F1/00 , G06F19/00 , G06F21/00 , G06Q50/34 , G07F17/32 , H04L9/32 , G06F5/00
CPC分类号： G06F21/00 , G06F21/51 , G06F21/57 , G06F21/64 , G06Q50/34 , G07F17/32 , G07F17/3288 , H04L9/3236 , H04L9/3247 , G06F2211/007 , G06F2221/2109 , H04L2209/60
摘要： Authentication of a casino game data set is carried out within the casino game console using an authentication program stored in an unalterable ROM physically located within the casino game console. The casino game data set and a unique signature are stored in a mass storage device, which may comprise a read only unit or a read/write unit and which may be physically located either within the casino game console or remotely located and linked to the casino game console over a suitable network. The authentication program stored in the unalterable ROM performs an authentication check on the casino game data set at appropriate times, such as prior to commencement of game play, at periodic intervals or upon demand. At appropriate occasions, the contents of the unalterable ROM can be verified by computing the message digest of the unalterable ROM contents and comparing this computed message digest with a securely stored copy of the message digest computed from the ROM contents prior to installation in the casino game console.
摘要翻译：使用存储在物理上位于娱乐场游戏机内的不可更改ROM中的认证程序，在赌场游戏控制台内进行赌场游戏数据集的认证。娱乐场游戏数据集和唯一签名存储在大容量存储设备中，大容量存储设备可以包括只读单元或读/写单元，并且其可以物理地位于娱乐场游戏机内或远程定位并链接到娱乐场游戏机通过合适的网络。存储在不可更改ROM中的认证程序以适当的时间（例如游戏开始之前）按照周期性间隔或需求对游戏机游戏数据进行认证检查。在适当的场合，可以通过计算不可更改的ROM内容的消息摘要来验证不可更改ROM的内容，并将该计算的消息摘要与安装在娱乐场游戏中的ROM内容之间计算的消息摘要的安全存储的副本进行比较安慰。

9. 发明授权

US5971851A Method and apparatus for managing faults and exceptions 失效
标题翻译：管理故障和异常的方法和装置
公开(公告)号：US5971851A
公开(公告)日：1999-10-26
申请号：US774826
申请日：1996-12-27
申请人： Andrew Pascal , Michael Barnett , Clayton Wishoff
发明人： Andrew Pascal , Michael Barnett , Clayton Wishoff
IPC分类号： G06F11/14 , G07F17/32 , H04G9/00 , A63F9/22
CPC分类号： G07F17/3237 , G06F11/1438 , G07F17/32
摘要： An operating system having a multitude of subsystems is provided where each subsystem performs a distinct function and may register with other subsystems to receive notification (or callbacks) upon the ocurrence of certain events. Moreover, the subsystems are programmed in such a manner where in the event of a fault (or exception) they can be instructed to cease the calling of other subsystems, thereby allowing each of the subsystems to complete its distinctive task without commencing further additional activities. When all of the activities have ceased, the state of the system as indicated by the parameters at the various registers and addresses are saved. At this time, the system can initiate a service call for an attendant through one of the provided mechanisms or routine calls. Moreover, the system can initiate an intermission (play stoppage) routine using full audio and video capabilities to explain to the player in a user-friendly manner the problems encountered and play a video clip or the like in entertaining and occupying the player.
摘要翻译：提供具有多个子系统的操作系统，其中每个子系统执行不同的功能，并且可以在其他子系统注册以在某些事件发生时接收通知（或回调）。此外，子系统以这样的方式进行编程，即在发生故障（或异常）的情况下，可以指示它们停止对其他子系统的调用，从而允许每个子系统完成其独特任务而不开始进一步的附加活动。当所有的活动都已经停止时，各种寄存器和地址的参数所指示的系统状态将被保存。此时，系统可以通过所提供的机制或例行呼叫中的一个启动对服务员的服务呼叫。此外，系统可以使用完整的音频和视频功能发起中断（播放停止）例程，以用户友好的方式向播放器解释遇到的问题并播放视频剪辑等，以娱乐和占用播放器。

10. 发明申请

US20120172750A1 ACCESS CATHETER SYSTEM HAVING A PRECISELY POSTIONABLE NEEDLE TIP 审中-公开
标题翻译：具有精确可靠的针头的访问导管系统
公开(公告)号：US20120172750A1
公开(公告)日：2012-07-05
申请号：US12983132
申请日：2010-12-31
申请人： Douglas Sawyer , Michael Barnett
发明人： Douglas Sawyer , Michael Barnett
IPC分类号： A61B5/03
CPC分类号： A61B5/03 , A61B5/6852
摘要： An access catheter system, comprising a needle assembly comprising a needle having an elongate lumen configured to be substantially filled with a fluid. The system further comprises a fluid monitor configured to monitor a physical characteristic of fluid within the lumen, and configured to sense a change in the physical characteristic. An indicator provides a indication of the sensed change in the physical characteristic.
摘要翻译：一种进入导管系统，包括针组件，所述针组件包括具有构造为基本上填充有流体的细长内腔的针。该系统还包括流体监测器，其被配置为监测管腔内的流体的物理特性，并且被配置为感测物理特性的变化。指示器提供感测到的物理特性变化的指示。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式