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

1. 发明授权

US06748585B2 Computer programming language pronouns 有权
标题翻译：计算机编程语言代词
公开(公告)号：US06748585B2
公开(公告)日：2004-06-08
申请号：US09725654
申请日：2000-11-29
申请人： Todd A. Proebsting , Benjamin G. Zorn
发明人： Todd A. Proebsting , Benjamin G. Zorn
IPC分类号： G06F945
CPC分类号： G06F8/423
摘要： Programming language constructs called pronouns and referents, and a method, system, and apparatus for translating computer source code that contains the pronouns and referents. A referent is any semantic or syntactic construct in the source code (e.g., a statement, a portion of a statement, an expression, or a value) to which a pronoun refers. A pronoun is a programming-language defined source-code symbol or a sequence of symbols that refers to the referent. As a result, pronouns eliminate the need to define new names or macros for repeated program segments. When a translator encounters the pronoun in the source code, the translator searches the source code for the referent and substitutes the referent for the pronoun. Thus, by using pronouns and referents, the programmer can write programs faster and easier and eliminate program redundancy without losing readability.
摘要翻译：编程语言结构称为代名词和指称，以及用于翻译包含代词和参考文献的计算机源代码的方法，系统和装置。指称是代词引用的源代码中的任何语义或句法结构（例如，语句，语句的一部分，表达式或值）。代词是编程语言定义的源代码符号或引用对象的符号序列。因此，代词消除了为重复的程序段定义新名称或宏的需要。当翻译者在源代码中遇到代词时，翻译者将搜索源代码作为引用，并用代词代替引用。因此，通过使用代词和指示，编程人员可以更快更容易地编写程序，消除程序冗余，而不会丢失可读性。

2. 发明授权

US08407206B2 Storing results related to requests for software development services 有权
标题翻译：存储与软件开发服务请求相关的结果
公开(公告)号：US08407206B2
公开(公告)日：2013-03-26
申请号：US11131455
申请日：2005-05-16
申请人： Todd A. Proebsting , David R. Hanson , Benjamin G. Zorn
发明人： Todd A. Proebsting , David R. Hanson , Benjamin G. Zorn
IPC分类号： G06F17/30
CPC分类号： G06F8/20
摘要： Described herein are methods and systems for providing software development services more efficiently. Re-computation of results each time a service request is received can be avoided by maintaining a cache of results from having processed requests. Results are stored under a unique mapping of request-results pairs that at least in part rely on a file fingerprint hash of the contents of the input files related to the request. In network environment with a client requester and service provider unnecessary transmission is also avoided by first presenting results for requests are in form of a unique file identifier identifying one or more files holding the content of the results. The file identifier is used to search a cache local to the requesting client prior to requesting transmission of the results. The file identifier may also include an indicator for indicating a location from which the results may be retrieved.
摘要翻译：这里描述了更有效地提供软件开发服务的方法和系统。每次接收到服务请求时，重新计算结果都可以通过维护具有处理请求的结果缓存来避免。结果存储在请求结果对的唯一映射下，至少部分地依赖于与请求相关的输入文件的内容的文件指纹散列。在具有客户机请求者和服务提供商的网络环境中，也通过首先呈现请求的结果来避免通过标识一个或多个保存结果内容的文件的唯一文件标识符的形式来避免传输。文件标识符用于在请求发送结果之前搜索请求客户端的本地缓存。文件标识符还可以包括用于指示可从中检索结果的位置的指示符。

3. 发明授权

US07111283B2 Program history in a computer programming language 有权
公开(公告)号：US07111283B2
公开(公告)日：2006-09-19
申请号：US09725983
申请日：2000-11-29
申请人： Christopher W. Fraser , Todd A. Proebsting , Benjamin G. Zorn
发明人： Christopher W. Fraser , Todd A. Proebsting , Benjamin G. Zorn
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/31
摘要： A programming-language construct called a program history, and a method, system, apparatus, and data structure for translating computer source code that contains the program history construct. A program history captures data regarding the state of the program as it executes and makes this data available to functions called history operators, which operate on the data. The source code contains a history operand, an instance of the history operand, and the history operator. The presence of the history operand directs a translator to cause history data to be saved regarding the sequence of data that is associated with the operand instance as the program executes. The presence of the history operator directs the translator to cause a function to be performed that saves history data. In this way, the programmer is freed from writing tedious and error-prone bookkeeping code that declares variables and saves history data into those declared variables.

4. 发明授权

US06748588B1 One-pass greedy-pattern-matching finite-state-machine code generation 有权
标题翻译：单通贪心模式匹配有限状态机码生成
公开(公告)号：US06748588B1
公开(公告)日：2004-06-08
申请号：US09282780
申请日：1999-03-31
申请人： Christopher W. Fraser , Todd A. Proebsting
发明人： Christopher W. Fraser , Todd A. Proebsting
IPC分类号： G06F945
CPC分类号： G06F8/447
摘要： A one-pass, greedy-pattern-matching, finite-state-machine code generator is disclosed. The code generator generates local code (such as processor-native code) from intermediate code (such as Java byte code). In one embodiment of the invention, a computer-implemented method for generating local code from intermediate code first includes receiving a current element of a post-fix-notated intermediate code. The method receives a current element of a postfix-notated intermediate code, and matches the current element to a base rule within a predetermined intermediate code-to-local code grammar. The method then selects and applies a matching base rule based on a predetermined criteria. A local code is then generated according to the matching base rule applied to the current element. A next element of the intermediate code is then advanced to as the current element. In another embodiment, the method matches the current element to a base rule, includes matching a most recent element to one or more chain rule(s) within the grammar and applies the chain rule(s) to the most recent element to enable the current element to match a given base rule. In still another embodiment, a code-generator generator is disclosed that constructs a code generator according to a machine specification.
摘要翻译：公开了一种通过，贪心模式匹配的有限状态机码发生器。代码生成器从中间代码生成本地代码（如处理器本机代码）（如Java字节代码）。在本发明的一个实施例中，用于从中间代码生成本地代码的计算机实现的方法首先包括接收固定后标记的中间代码的当前元素。该方法接收后缀符号中间代码的当前元素，并将当前元素与预定的中间代码到本地代码语法中的基本规则相匹配。然后，该方法基于预定标准选择并应用匹配的基本规则。然后根据应用于当前元素的匹配基本规则生成本地代码。然后将中间代码的下一个元素提升为当前元素。在另一个实施例中，该方法将当前元素与基本规则相匹配，包括将最新元素与语法内的一个或多个链规则进行匹配，并将链规则应用于最新元素以使能当前元素以匹配给定的基本规则。在另一个实施例中，公开了根据机器规范构建代码生成器的代码生成器生成器。

5. 发明授权

US08341065B2 Continuous betting interface to prediction market 有权
标题翻译：连续投注界面预测市场
公开(公告)号：US08341065B2
公开(公告)日：2012-12-25
申请号：US11855085
申请日：2007-09-13
申请人： Henry G. Berg , Todd A. Proebsting
发明人： Henry G. Berg , Todd A. Proebsting
IPC分类号： G06Q40/00
CPC分类号： G06Q40/04
摘要： A user participates in trading securities in a prediction market which represent different outcomes of an event, using an interface which allows the user to understand a trade in terms of a bet. The interface also allows the user to explore different bet amounts while receiving feedback on potential payoffs in real time. In one approach, a tool is used which is moved in one direction by the user to indicate a larger trade for an outcome, or in the opposite direction to indicate a larger trade against the outcome. A bet for an outcome can be translated into a purchase of a corresponding security which represents the outcome. A bet against a particular outcome can be translated into a purchase of securities which represents all other outcomes. The user interfaces hides complexities of the market from the user while surfacing relevant information.
摘要翻译：用户在预测市场中参与交易证券，代表事件的不同结果，使用允许用户了解投注方面的交易的界面。该界面还允许用户在实时收到有关潜在收益的反馈时，探索不同的投注金额。在一种方法中，使用一种工具，其由用户在一个方向上移动以指示较大的结果交易，或者相反的方向指示针对结果的更大的交易。结果的赌注可以转换为代表结果的相应证券的购买。对特定结果的赌注可以转换为购买代表所有其他结果的证券。用户界面在覆盖相关信息的同时隐藏市场的复杂性。

6. 发明授权

US08229824B2 Combined estimate contest and prediction market 有权
标题翻译：综合估计竞赛和预测市场
公开(公告)号：US08229824B2
公开(公告)日：2012-07-24
申请号：US11855079
申请日：2007-09-13
申请人： Henry G. Berg , Todd A. Proebsting
发明人： Henry G. Berg , Todd A. Proebsting
IPC分类号： G06Q40/00
CPC分类号： G06Q40/04 , G06Q30/06 , G06Q40/00 , G06Q40/06
摘要： Users participate in an estimate contest and a prediction market for forecasting an outcome of a future event. Data from the estimate contest and the prediction market can be combined to obtain accurate information about overall group beliefs and individual or sub-groups beliefs. In the estimate contest, users provide estimated probabilities of occurrence for different possible outcomes of the event. Trades can be proposed, or automatically executed, based on differences between the user's estimated probabilities and probabilities obtained from a prediction market in which the user can buy and sell securities which represent the different outcomes. For example, a buying opportunity may be present when the user's estimated probability exceeds the prediction market's probability. Further, the user can express a risk level which is factored into the proposed trades.
摘要翻译：用户参与预测比赛和预测市场，以预测未来事件的结果。来自估计比赛和预测市场的数据可以结合起来，以获得有关整体团体信念和个人或分组信念的准确信息。在估计比赛中，用户提供事件的不同可能结果的发生概率。可以根据用户的估计概率和从预测市场获得的概率之间的差异来提出或自动执行交易，其中用户可以在其中购买和销售代表不同结果的证券。例如，当用户的估计概率超过预测市场的概率时，可能存在购买机会。此外，用户可以表达在建议交易中被考虑的风险水平。

7. 发明授权

US07880741B2 User interface for expressing forecasting estimates 有权
标题翻译：用于表达预测估计的用户界面
公开(公告)号：US07880741B2
公开(公告)日：2011-02-01
申请号：US11855076
申请日：2007-09-13
申请人： Todd A. Proebsting , Henry G. Berg
发明人： Todd A. Proebsting , Henry G. Berg
IPC分类号： G06T11/20
CPC分类号： G06T11/203
摘要： A user interface allows a user to freehand draw a probability density curve, or to select from predetermined probability densities, such as a normal distribution. The probability density represents the user's opinion regarding the probability of occurrence for different outcomes of a future event. The user can easily manipulate the shape of the probability density by dragging portions of the curve using an input device, such as to change the mean or standard deviation. Further, a scoring rule is applied to the probability density so that an updated score is displayed as the probability density is manipulated. The probability density can be input to an estimate contest or a prediction market, for instance. The user interface can also allow the user to freehand draw a scoring curve from which a probability density can be computed based on a scoring rule.
摘要翻译：用户界面允许用户徒手绘制概率密度曲线，或从预定的概率密度（例如正态分布）中进行选择。概率密度表示用户对未来事件的不同结果的发生概率的意见。用户可以通过使用输入装置拖动曲线的部分来容易地操纵概率密度的形状，例如改变平均值或标准偏差。此外，将计分规则应用于概率密度，使得当操纵概率密度时显示更新得分。例如，可以将概率密度输入到估计比赛或预测市场。用户界面还可以允许用户徒手画出一个评分曲线，根据评分规则可从中计算概率密度。

8. 发明申请

US20090073174A1 USER INTERFACE FOR EXPRESSING FORECASTING ESTIMATES 有权
标题翻译：用于表示预测估计的用户界面
公开(公告)号：US20090073174A1
公开(公告)日：2009-03-19
申请号：US11855076
申请日：2007-09-13
申请人： Henry G. Berg , Todd A. Proebsting
发明人： Henry G. Berg , Todd A. Proebsting
IPC分类号： G06T11/20
CPC分类号： G06T11/203
摘要： A user interface allows a user to freehand draw a probability density curve, or to select from predetermined probability densities, such as a normal distribution. The probability density represents the user's opinion regarding the probability of occurrence for different outcomes of a future event. The user can easily manipulate the shape of the probability density by dragging portions of the curve using an input device, such as to change the mean or standard deviation. Further, a scoring rule is applied to the probability density so that an updated score is displayed as the probability density is manipulated. The probability density can be input to an estimate contest or a prediction market, for instance. The user interface can also allow the user to freehand draw a scoring curve from which a probability density can be computed based on a scoring rule.
摘要翻译：用户界面允许用户徒手绘制概率密度曲线，或从预定的概率密度（例如正态分布）中进行选择。概率密度表示用户对未来事件的不同结果的发生概率的意见。用户可以通过使用输入装置拖动曲线的部分来容易地操纵概率密度的形状，例如改变平均值或标准偏差。此外，将计分规则应用于概率密度，使得当操纵概率密度时显示更新得分。例如，可以将概率密度输入到估计比赛或预测市场。用户界面还可以允许用户徒手画出一个评分曲线，根据评分规则可从中计算概率密度。

9. 发明授权

US07096456B2 Method and apparatus for providing dynamically scoped variables within a statically scoped computer programming language 有权
公开(公告)号：US07096456B2
公开(公告)日：2006-08-22
申请号：US10159710
申请日：2002-05-31
申请人： David R. Hanson , Todd A. Proebsting
发明人： David R. Hanson , Todd A. Proebsting
IPC分类号： G06F9/45
CPC分类号： G06F8/31
摘要： A programming language is provided that permits the use of both dynamically scoped variables and statically scoped variables, and that allows a programmer to select which scoping is desired for a particular variable. The programming language comprises at least one language construct for defining statically scoped variables to be used if a static scoped variable is desired and at least one language construct for defining dynamically scoped variables to be used if a dynamically scoped variable is desired. A method, apparatus, and computer-readable medium are also provided.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式