-
公开(公告)号：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.
-
公开(公告)号：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.
摘要翻译： 程序验证过程开始于将程序的语言从第一语言转换为中间语言表示。 程序的循环被消除。 该程序从中间语言表示形式转换为被动形式。 确定程序被动形式的多数人。 验证条件是从程序的被动形式生成的。 验证条件根据计算的主导者构造，使得当定理证明者识别潜在错误时，与潜在错误无关的程序的被动形式的部分被忽略。
-
13.再颁专利公开(公告)号：USRE39369E1
公开(公告)日：2006-10-31
申请号：US10224699
申请日：1996-06-17
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.
-
公开(公告)号：US06287202B1
公开(公告)日：2001-09-11
申请号：US08672775
申请日：1996-06-28
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.
摘要翻译： 动态比赛游戏方法和系统，包括提供与宿主终端选择性地相互联系的多个游戏终端，使得希望参加群组比赛的终端的当前玩家可以被通知机会并提供选择玩 或不。 如果现在的玩家选择玩，他就这样表示，将入场费输入终端，等待事件的开始。 在主机终端开始比赛时，玩家将尽可能快地玩比赛游戏，以在特定的预先宣布的比赛期间累积尽可能多的积分。 主机终端将持续监控所有参与者的终端，动态记录播放状态，并控制游戏时间段的终止。 还将对结果进行会计处理，发布结果通知，也可以提供远程支付游戏奖金。
-
15.发明授权Method of authenticating game data sets in an electronic casino gaming system 失效在电子赌场游戏系统中认证游戏数据集的方法
公开(公告)号：US6149522A
公开(公告)日：2000-11-21
申请号：US107031
申请日：1998-06-29
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内容之间计算的消息摘要的安全存储的副本进行比较 安慰。
-
公开(公告)号：US5971851A
公开(公告)日：1999-10-26
申请号：US774826
申请日：1996-12-27
申请人： Andrew Pascal , Michael Barnett , Clayton Wishoff
发明人： Andrew Pascal , Michael Barnett , Clayton Wishoff
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.
摘要翻译： 提供具有多个子系统的操作系统，其中每个子系统执行不同的功能，并且可以在其他子系统注册以在某些事件发生时接收通知（或回调）。 此外，子系统以这样的方式进行编程，即在发生故障（或异常）的情况下，可以指示它们停止对其他子系统的调用，从而允许每个子系统完成其独特任务而不开始进一步的附加活动。 当所有的活动都已经停止时，各种寄存器和地址的参数所指示的系统状态将被保存。 此时，系统可以通过所提供的机制或例行呼叫中的一个启动对服务员的服务呼叫。 此外，系统可以使用完整的音频和视频功能发起中断（播放停止）例程，以用户友好的方式向播放器解释遇到的问题并播放视频剪辑等，以娱乐和占用播放器。
-
公开(公告)号：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.
摘要翻译： 一种进入导管系统，包括针组件，所述针组件包括具有构造为基本上填充有流体的细长内腔的针。 该系统还包括流体监测器，其被配置为监测管腔内的流体的物理特性，并且被配置为感测物理特性的变化。 指示器提供感测到的物理特性变化的指示。
-
18.发明授权公开(公告)号：US07933815B2
公开(公告)日：2011-04-26
申请号：US11592049
申请日：2006-11-01
IPC分类号： A01K5/02
CPC分类号： G06Q10/06 , G06Q10/063 , G06Q10/063112 , G06Q10/06375 , G06Q10/06398 , G06Q10/0875 , G06Q30/016 , G06Q30/02 , G06Q30/0201
摘要： A system and method for obtaining technical support services over a network. A registered seeker of technical support services submits a search request to a task matching server. The search request comprises search criteria for identifying one or more registered providers of technical support services. The task matching server searches a library of provider profiles comprising qualifications of registered providers of technical support services and provides the seeker a list of registered providers meeting the search criteria. The seeker selects a registered provider from the list. The task matching server facilitates the exchange of communications between the seeker and the selected provider. The selected provider sends a quotation for technical support services to the seeker. The quotation comprises service terms under which the selected provider is willing to provide the technical support services. If the seeker accepts the service terms, the task match server establishes a link between a selected provider computer and a seeker computer that allows the selected provider computer to control the seeker computer via the link and to facilitate the provision of technical support services.
摘要翻译： 一种通过网络获取技术支持服务的系统和方法。 技术支持服务的注册寻求者向任务匹配服务器提交搜索请求。 搜索请求包括用于识别技术支持服务的一个或多个注册提供者的搜索标准。 任务匹配服务器搜索包括技术支持服务的注册提供商的资格的提供者简档库，并向搜索者提供符合搜索条件的注册提供商的列表。 求职者从列表中选择一个注册的提供者。 任务匹配服务器有助于寻求者与所选择的提供者之间的通信交换。 所选择的提供商向寻求者发送技术支持服务的报价。 报价包括所选供应商愿意提供技术支持服务的服务条款。 如果寻求者接受服务条款，则任务匹配服务器在所选择的提供者计算机和寻求者计算机之间建立链接，该计算机允许所选择的提供商计算机通过链路来控制寻求者计算机，并且便于提供技术支持服务。
-
公开(公告)号：US20080256512A1
公开(公告)日：2008-10-16
申请号：US11734669
申请日：2007-04-12
申请人： Henricus Johannes Maria Meijer , Jeffrey van Gogh , Bruno S. Bozza , Brian C. Beckman , Wei Zhu , Michael Barnett
发明人： Henricus Johannes Maria Meijer , Jeffrey van Gogh , Bruno S. Bozza , Brian C. Beckman , Wei Zhu , Michael Barnett
IPC分类号： G06F9/44
摘要： Systems and methods facilitate data augmentation in a computer environment. Data collections of various forms are altered out of band with at least one augmentor specifying alterations thereto. The alterations are applied to an associated collection of data such as programmatic code. In this manner, data can be modified, extended and/or removed from the collection to enable specialization and/or personalization, among other things.
摘要翻译： 系统和方法便于在计算机环境中进行数据扩充。 各种形式的数据集合与带有至少一个指定改变形式的增强器一起改变。 更改应用于相关的数据集合，如程序代码。 以这种方式，数据可以被修改，扩展和/或从集合中移除，以实现专门化和/或个性化等。
-
20.发明申请公开(公告)号：US20080103869A1
公开(公告)日：2008-05-01
申请号：US11592049
申请日：2006-11-01
IPC分类号： G06F15/02
CPC分类号： G06Q10/06 , G06Q10/063 , G06Q10/063112 , G06Q10/06375 , G06Q10/06398 , G06Q10/0875 , G06Q30/016 , G06Q30/02 , G06Q30/0201
摘要： A system and method for obtaining technical support services over a network. A registered seeker of technical support services submits a search request to a task matching server. The search request comprises search criteria for identifying one or more registered providers of technical support services. The task matching server searches a library of provider profiles comprising qualifications of registered providers of technical support services and provides the seeker a list of registered providers meeting the search criteria. The seeker selects a registered provider from the list. The task matching server facilitates the exchange of communications between the seeker and the selected provider. The selected provider sends a quotation for technical support services to the seeker. The quotation comprises service terms under which the selected provider is willing to provide the technical support services. If the seeker accepts the service terms, the task match server establishes a link between a selected provider computer and a seeker computer that allows the selected provider computer to control the seeker computer via the link and to facilitate the provision of technical support services.
摘要翻译： 一种通过网络获取技术支持服务的系统和方法。 技术支持服务的注册寻求者向任务匹配服务器提交搜索请求。 搜索请求包括用于识别技术支持服务的一个或多个注册提供者的搜索标准。 任务匹配服务器搜索包括技术支持服务的注册提供商的资格的提供者简档库，并向搜索者提供符合搜索条件的注册提供商的列表。 求职者从列表中选择一个注册的提供者。 任务匹配服务器有助于寻求者与所选择的提供者之间的通信交换。 所选择的提供商向寻求者发送技术支持服务的报价。 报价包括所选供应商愿意提供技术支持服务的服务条款。 如果寻求者接受服务条款，则任务匹配服务器在所选择的提供者计算机和寻求者计算机之间建立链接，该计算机允许所选择的提供商计算机通过链路来控制寻求者计算机，并且便于提供技术支持服务。
-
-
-
-
-
-
-
-
-
搜索结果
47 条记录 (耗时 0.034 秒)
