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

1. 发明授权

US5632022A Encyclopedia of software components 失效
标题翻译：软件组件百科全书
公开(公告)号：US5632022A
公开(公告)日：1997-05-20
申请号：US792501
申请日：1991-11-13
申请人： Lloyd V. Warren , Brian C. Beckman
发明人： Lloyd V. Warren , Brian C. Beckman
IPC分类号： G06F3/033 , G06F3/048 , G06F9/44 , G06F15/00 , G06F3/00 , G06F9/45
CPC分类号： G06F8/36 , G06F3/0483 , Y10S715/968
摘要： Intelligent browsing through a collection of reusable software components is facilitated with a computer having a video monitor and a user input interface such as a keyboard or a mouse for transmitting user selections, by presenting a picture of encyclopedia volumes with respective visible labels referring to types of software, in accordance with a metaphor in which each volume includes a page having a list of general topics under the software type of the volume and pages having lists of software components for each one of the generic topics, altering the picture to open one of the volumes in response to an initial user selection specifying the one volume to display on the monitor a picture of the page thereof having the list of general topics and altering the picture to display the page thereof having a list of software components under one of the general topics in response to a next user selection specifying the one general topic, and then presenting a picture of a set of different informative plates depicting different types of information about one of the software components in response to a further user selection specifying the one component.
摘要翻译：通过具有视频监视器和诸如键盘或鼠标的用户输入界面的计算机来智能浏览可复用软件组件的集合，用于通过呈现具有相应可见标签的百科全书卷的图片来引用用户选择，软件，根据比喻，其中每个卷包括具有卷的软件类型下的一般主题的列表的页面以及具有每个通用主题的软件组件列表的页面，改变图片以打开其中的一个响应于初始用户选择指定要在监视器上显示具有一般主题列表的页面的图片并且改变图片以显示其页面的一个卷的卷，其具有在一般主题之一下的软件组件的列表响应于指定一个一般主题的下一个用户选择，然后呈现一组不同i的图片描述关于一个软件组件的不同类型的信息，以响应于指定一个组件的另外的用户选择。

2. 发明申请

US20130335337A1 TOUCH MODES 有权
标题翻译：触摸模式
公开(公告)号：US20130335337A1
公开(公告)日：2013-12-19
申请号：US13523156
申请日：2012-06-14
申请人： Fei H. Chua , Brian C. Beckman
发明人： Fei H. Chua , Brian C. Beckman
IPC分类号： G06F3/041
CPC分类号： G06F3/0488 , G06F3/03547
摘要： Touch modes are described. In one or more implementations, a first mode of interaction is supported with a user interface displayed by a display device of a computing device having touchscreen functionality, the first mode usable to interact directly with a user interface using the touchscreen functionality. A second mode of interaction is supported with the user interface displayed by the display device of the computing device, the second mode usable to control a cursor using the touchscreen functionality to interact with the user interface.
摘要翻译：描述触摸模式。在一个或多个实现中，由具有触摸屏功能的计算设备的显示设备显示的用户界面支持第一交互模式，所述第一模式可用于使用触摸屏功能直接与用户界面交互。由计算设备的显示设备显示的用户界面支持第二交互模式，第二模式可用于使用触摸屏功能来控制光标以与用户界面交互。

3. 发明授权

US08473971B2 Type inference and type-directed late binding 有权
标题翻译：类型推断和类型导向晚期绑定
公开(公告)号：US08473971B2
公开(公告)日：2013-06-25
申请号：US11220167
申请日：2005-09-06
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
IPC分类号： G06F13/00 , G06F9/45 , G06F9/44
CPC分类号： G06F8/31 , G06F9/449
摘要： Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.
摘要翻译：通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。

4. 发明授权

US08453114B2 Implicit iteration of keyed array symbol 有权
标题翻译：键控数组符号的隐式迭代
公开(公告)号：US08453114B2
公开(公告)日：2013-05-28
申请号：US12344216
申请日：2008-12-24
申请人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin
IPC分类号： G06F9/44
CPC分类号： G06F17/30333 , G06F9/44 , G06F17/30958
摘要： The use of a data structure that is a symbolic representation of a keyed array that has an array variable and an associated key variable. There is a correlation maintained between the variable type of the array variable and the corresponding keying set that is to be bound to the associated key variable. The keyed array may remain unbound thereby being simply symbolically represented, or the keying set may be bound to the key variable more immediately. In one embodiment, once the keying set is bound to the key variable, data may be bound to the array variable itself. This may be repeated for multiple keyed arrays. The data from multiple keyed arrays may be operated upon to about another array of values, which may then be aggregated in some way.
摘要翻译：使用数据结构，它是具有数组变量和关联键变量的键控数组的符号表示。在数组变量的变量类型和要绑定到关联的键变量的对应的键集之间存在相关性。键控阵列可以保持未绑定，从而被简单地象征性地表示，或者密钥集可以更加紧密地绑定到密钥变量。在一个实施例中，一旦密钥集合被绑定到密钥变量，数据可以被绑定到数组变量本身。对于多个键控阵列可能会重复。来自多个键控阵列的数据可以被操作在大约另一数值阵列上，然后可以以某种方式聚合。

5. 发明申请

US20130091197A1 MOBILE DEVICE AS A LOCAL SERVER 审中-公开
标题翻译：移动设备作为本地服务器
公开(公告)号：US20130091197A1
公开(公告)日：2013-04-11
申请号：US13334065
申请日：2011-12-22
申请人： Avi Bar-Zeev , Gur Kimchi , Brian C. Beckman , Scott Isaacs , Meir Ben-Itay , Eran Yariv , Blaise Aguera y Arcas
发明人： Avi Bar-Zeev , Gur Kimchi , Brian C. Beckman , Scott Isaacs , Meir Ben-Itay , Eran Yariv , Blaise Aguera y Arcas
IPC分类号： G06F15/16
CPC分类号： H04L67/42 , G06F1/3203 , G06F1/3215 , H04L67/02 , H04L67/32 , H04L67/34
摘要： Architecture that embeds a server (a local server) inside a mobile device operating system (OS) close to the data (but under the OS services) such that the server has access to native capabilities, and offers an Internet-like frontend with which a browser or application can communicate. The local server appears as a web server, and small programs can be pushed into the local server from the browser or a remote server such that the local server can be made to perform work more effectively. Local and remote events can be triggered such as launching a browser (or other application(s)), initiating remote server calls, triggering battery save mode, locking the phone, etc. The local server can run a script execution environment such as node.js, an event driven I/O model where callbacks are invoked to handle emergent conditions (e.g., explicit requests, state changes, etc.).
摘要翻译：将服务器（本地服务器）嵌入到靠近数据（但在OS服务下）的移动设备操作系统（OS）内的架构，以便服务器可以访问本地功能，并提供类似Internet的前端，浏览器或应用程序可以进行通信。本地服务器显示为Web服务器，小型程序可以从浏览器或远程服务器推送到本地服务器，从而可以使本地服务器更有效地执行工作。可以触发本地和远程事件，例如启动浏览器（或其他应用程序），启动远程服务器呼叫，触发电池保存模式，锁定手机等。本地服务器可以运行脚本执行环境（如节点）。 js是一种事件驱动的I / O模型，其中调用回调来处理紧急情况（例如，显式请求，状态更改等）。

6. 发明授权

US08352397B2 Dependency graph in data-driven model 有权
标题翻译：数据驱动模型中的依赖图
公开(公告)号：US08352397B2
公开(公告)日：2013-01-08
申请号：US12557297
申请日：2009-09-10
申请人： Darryl E. Rubin , Vijay Mital , Brian C. Beckman , G. Shon Katzenberger
发明人： Darryl E. Rubin , Vijay Mital , Brian C. Beckman , G. Shon Katzenberger
IPC分类号： G06F17/00
CPC分类号： G06N99/005
摘要： The inference of a dependency graph that represents a graph of solves that leads from input model parameter(s) to output model parameters using analytics. In one embodiment, the dependency graph is part of visually driven analytics in which the output model parameter(s) are used to formulate data-drive scenes. As the identity of the input and/or output model parameter(s) change, or as the analytics themselves change, the dependency graph may also change. This might trigger a resolve of the analytics. In one embodiment, the intermediate parameters involved in the dependency graph may be viewed and evaluated by the user.
摘要翻译：依赖图的推论，其表示从输入模型参数引导到使用分析输出模型参数的解的图。在一个实施例中，依赖图是视觉驱动分析的一部分，其中使用输出模型参数来制定数据驱动场景。随着输入和/或输出模型参数的身份变化，或随着分析本身的变化，依赖图也可能发生变化。这可能会引发分析的解决。在一个实施例中，可以由用户查看和评估参与依赖图的中间参数。

7. 发明授权

US08314793B2 Implied analytical reasoning and computation 有权
标题翻译：隐含的分析推理和计算
公开(公告)号：US08314793B2
公开(公告)日：2012-11-20
申请号：US12344215
申请日：2008-12-24
申请人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
IPC分类号： G06T17/00
CPC分类号： G06T11/206 , G06T19/00
摘要： Solving for output variable(s) of a model that includes multiple analytically related model variables. The identity of the output model variables and the analytical relationships between the model variables are separately designated. Regardless of the identity of the output variable(s), a solver framework interprets the analytical relationships and solves for the designated output variable(s). The output model variable(s) may be designated separately than the analytical relationships themselves. By simply changing the designation of the output model variable(s), the analytical relationships are reevaluated, and the output variable(s) are solved for. The solver framework itself stays the same regardless of the identity of the output model variable(s).
摘要翻译：求解包含多个分析相关模型变量的模型的输出变量。分别指定输出模型变量的身份和模型变量之间的分析关系。无论输出变量的身份如何，求解器框架解释分析关系并解决指定的输出变量。输出模型变量可以与分析关系本身分开指定。通过简单地改变输出模型变量的指定，重新评估分析关系，并解决输出变量。无论输出模型变量的身份如何，求解器框架本身都保持不变。

8. 发明申请

US20110246549A1 ADAPTIVE DISTRIBUTION OF THE PROCESSING OF HIGHLY INTERACTIVE APPLICATIONS 审中-公开
标题翻译：高度互动应用程序的自适应分配
公开(公告)号：US20110246549A1
公开(公告)日：2011-10-06
申请号：US12752961
申请日：2010-04-01
申请人： Gary Shon Katzenberger , Vijay Mital , Olivier Colle , Brian C. Beckman , Darryl Ellis Rubin
发明人： Gary Shon Katzenberger , Vijay Mital , Olivier Colle , Brian C. Beckman , Darryl Ellis Rubin
IPC分类号： G06F15/16
CPC分类号： G06F9/505
摘要： An application defined by expressions whose execution may be dynamically distributed over multiple devices. An application defined by expressions may include a number of expressions that provide a symbolic representation of computations to be performed. The application defined by expressions may have input variables and output variables and provide a solution for the output variables using the input variables and the expressions that define the application. In providing a solution for the output variables, an expression engine may determine dependencies for the expressions to be solved and distribute the solution of some of those expressions dynamically at runtime to other devices based on the capabilities of the devices, privacy and security concerns, communications bandwidth and latency, the resources available to devices, and commercial or cost implications of where the processing is done.
摘要翻译：由表达式定义的应用程序，其执行可以在多个设备上动态分布。由表达式定义的应用可以包括提供要执行的计算的符号表示的多个表达式。由表达式定义的应用程序可能具有输入变量和输出变量，并使用输入变量和定义应用程序的表达式为输出变量提供解决方案。在为输出变量提供解决方案时，表达式引擎可以确定要解决的表达式的依赖性，并且基于设备的能力，隐私和安全性关注，通信，将运行时动态地将某些表达式的解释分布到其他设备带宽和延迟，设备可用的资源以及处理完成的商业或成本影响。

9. 发明授权

US07779397B2 Data interfaces 有权
标题翻译：数据接口
公开(公告)号：US07779397B2
公开(公告)日：2010-08-17
申请号：US11214404
申请日：2005-08-29
申请人： Henricus Johannes Maria Meijer , Amanda Silver , Paul A. Vick , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Amanda Silver , Paul A. Vick , Brian C. Beckman
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/44
摘要： A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.
摘要翻译：用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。所述系统还包括定义所述至少一个基准的强类型视图的类型定义组件。还提供了使用该系统的方法。

10. 发明申请

US20100156900A1 IMPLIED ANALYTICAL REASONING AND COMPUTATION 有权
标题翻译：暗示分析和计算
公开(公告)号：US20100156900A1
公开(公告)日：2010-06-24
申请号：US12344215
申请日：2008-12-24
申请人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
IPC分类号： G06T17/00
CPC分类号： G06T11/206 , G06T19/00
摘要： Solving for output variable(s) of a model that includes multiple analytically related model variables. The identity of the output model variables and the analytical relationships between the model variables are separately designated. Regardless of the identity of the output variable(s), a solver framework interprets the analytical relationships and solves for the designated output variable(s). The output model variable(s) may be designated separately than the analytical relationships themselves. By simply changing the designation of the output model variable(s), the analytical relationships are reevaluated, and the output variable(s) are solved for. The solver framework itself stays the same regardless of the identity of the output model variable(s).
摘要翻译：求解包含多个分析相关模型变量的模型的输出变量。分别指定输出模型变量的身份和模型变量之间的分析关系。无论输出变量的身份如何，求解器框架解释分析关系并解决指定的输出变量。输出模型变量可以与分析关系本身分开指定。通过简单地改变输出模型变量的指定，重新评估分析关系，并解决输出变量。无论输出模型变量的身份如何，求解器框架本身都保持不变。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式