公开(公告)号：US20080046456A1

公开(公告)日：2008-02-21

申请号：US11507637

申请日：2006-08-21

申请人： Anders Hejlsberg ,  Henricus Johannes Maria Meijer ,  David Schach ,  Avner Aharoni ,  Brian Beckman ,  Andrew Kimball

发明人： Anders Hejlsberg ,  Henricus Johannes Maria Meijer ,  David Schach ,  Avner Aharoni ,  Brian Beckman ,  Andrew Kimball

IPC分类号： G06F7/00

CPC分类号： G06F17/2247 ,  G06F8/42 ,  G06F9/449 ,  Y10S707/99943 ,  Y10S707/99944

摘要： A special syntax is developed to differentiate between accesses to a primary and one or more secondary object protocols in a programming language. The syntax allows the compiler to differentiate between the primary and secondary object model based on syntax, rather than type. The syntax is created in such a way as to approximate the syntax of the secondary object model, and allows the user to dynamically generate member names.

摘要翻译： 开发了一种特殊语法来区分对编程语言中的主要和一个或多个辅助对象协议的访问。 语法允许编译器基于语法而不是类型来区分主对象模型和辅助对象模型。 创建语法的方式是近似第二对象模型的语法，并允许用户动态生成成员名称。

公开(公告)号：US20070094647A1

公开(公告)日：2007-04-26

申请号：US11214404

申请日：2005-08-29

申请人： Henricus Meijer ,  Amanda Silver ,  Paul Vick ,  Brian Beckman

发明人： Henricus Meijer ,  Amanda Silver ,  Paul Vick ,  Brian 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.

摘要翻译： 用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。 该系统还包括定义至少一个基准的强类型视图的类型定义组件。 还提供了使用该系统的方法。

公开(公告)号：US20070055978A1

公开(公告)日：2007-03-08

申请号：US11220167

申请日：2005-09-06

申请人： Henricus Meijer ,  Brian Beckman ,  David Schach ,  Amanda Silver ,  Paul Vick ,  Peter Drayton ,  Avner Aharoni ,  Ralf Lammel

发明人： Henricus Meijer ,  Brian Beckman ,  David Schach ,  Amanda Silver ,  Paul Vick ,  Peter Drayton ,  Avner Aharoni ,  Ralf Lammel

IPC分类号： 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.

摘要翻译： 通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定 变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。

公开(公告)号：US20070050168A1

公开(公告)日：2007-03-01

申请号：US11214424

申请日：2005-08-29

申请人： Henricus Meijer ,  Paul Vick ,  Brian Beckman ,  Amanda Silver

发明人： Henricus Meijer ,  Paul Vick ,  Brian Beckman ,  Amanda Silver

IPC分类号： G01R27/28

CPC分类号： G06F9/4492

摘要： A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.

摘要翻译： 用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。 该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。 还提供了使用该系统的方法。

公开(公告)号：US20070035421A1

公开(公告)日：2007-02-15

申请号：US11201779

申请日：2005-08-11

申请人： Henricus Meijer ,  Brian Beckman

发明人： Henricus Meijer ,  Brian Beckman

IPC分类号： G06F17/24 ,  G06F17/21

CPC分类号： G06F17/211 ,  G06F8/33 ,  G06F17/2294 ,  G06F17/247

摘要： Layout rules are provided that enable white-space sensitive literals to be developed within a source program according to arbitrarily defined or virtual margins. In one aspect, a computerized programming system is provided. The system includes a source program having one or more computer program codes or instructions. A rules component enables a virtual margin to be positioned within the source program, where the virtual margin can be offset from a default margin by at least one position in the source program. The rules component enables a plurality of virtual margins to be nested within the source program. This includes allowing deviations in the margin such as a hole to be declared in the virtual margin.

摘要翻译： 提供布局规则，使得可以根据任意定义的或虚拟的边距在源程序中开发白空间敏感的文字。 一方面，提供了一种计算机化编程系统。 该系统包括具有一个或多个计算机程序代码或指令的源程序。 规则组件使得可以将虚拟边距定位在源程序内，其中虚拟边距可以从源程序中的至少一个位置偏离默认余量。 规则组件使多个虚拟边距嵌套在源程序中。 这包括允许在虚拟边缘中声明的边缘的偏差，例如孔。

公开(公告)号：US20140032678A1

公开(公告)日：2014-01-30

申请号：US13558642

申请日：2012-07-26

申请人： Emmanouil Koukoumidis ,  Brian Beckman ,  James Anthony Whittaker

发明人： Emmanouil Koukoumidis ,  Brian Beckman ,  James Anthony Whittaker

IPC分类号： G06F15/16

CPC分类号： G06Q30/0631 ,  G06F17/30867 ,  G06Q30/0255 ,  G06Q30/0261

摘要： Among other things, one or more techniques and/or systems are provided for pushing a recommendation to a user. That is, a recommendation may be pushed to a device of the user based upon a triggering event associated with the user. The recommendation may be provided, for example, without user solicitation for the recommendation. In one example, a recommendation component may observe that the user frequently stops for ice cream on Fridays after work (e.g., based upon prior social network check-ins). Accordingly, on the following Friday, the recommendation component may push a recommendation to the user's device to visit a particular grocery store on the way home from work that is within 10 minutes of the user's home so that the user can avoid melting ice cream (e.g., a location constraint may be applied to choose a grocery store that is relatively close to the user's home).

摘要翻译： 除其他之外，提供一个或多个技术和/或系统用于将推荐推送给用户。 也就是说，可以基于与用户相关联的触发事件将推荐推送到用户的设备。 该建议可以例如没有用户征求推荐来提供。 在一个示例中，推荐组件可以观察到，用户在工作后的星期五（例如，基于以前的社交网络登记）经常停止冰淇淋。 因此，在接下来的星期五，推荐组件可以推荐用户的设备在从用户家庭的10分钟内的工作回家的路上访问特定的杂货店，以便用户避免融化冰淇淋（例如， ，可以应用位置约束来选择相对靠近用户家的杂货店）。

公开(公告)号：US20130159969A1

公开(公告)日：2013-06-20

申请号：US13328075

申请日：2011-12-16

申请人： Henricus Johannes Maria Meijer ,  Brian Beckman

发明人： Henricus Johannes Maria Meijer ,  Brian Beckman

IPC分类号： G06F9/44

CPC分类号： G06F8/311

摘要： Digital signal processing is facilitated utilizing monads. In other words, a digital signal can be processed as a function of at least one monadic operation over the digital signal. Monadic operations can also be integrated into a general-purpose programming language optionally in a declarative syntax to further facilitate programming with respect to digital signals.

摘要翻译： 数字信号处理方便利用单片机。 换句话说，数字信号可以作为数字信号上的至少一个单一运算的函数来处理。 Monadic操作也可以以声明性语法可选地集成到通用编程语言中，以进一步促进关于数字信号的编程。

公开(公告)号：US08463289B2

公开(公告)日：2013-06-11

申请号：US13163396

申请日：2011-06-17

申请人： Gil Shklarski ,  Brian Beckman ,  Eyal Ofek ,  Kenn Daniel Cartier ,  Shai Herzog ,  Gur Kimchi ,  Bernard Lawrence Johnston

发明人： Gil Shklarski ,  Brian Beckman ,  Eyal Ofek ,  Kenn Daniel Cartier ,  Shai Herzog ,  Gur Kimchi ,  Bernard Lawrence Johnston

IPC分类号： H04W24/00

CPC分类号： H04W12/02 ,  H04W64/00 ,  H04W88/08

摘要： Positional information is provided while minimizing the possibility that personally identifiable information can be derived therefrom. Positional information is received in the form of trails that can be aggregated. Individual cells of a grid reflect a quantity of aggregated trails through those cells, an average intensity and direction of movement through those cells, or a more detailed distribution thereof. Alternatively, individual trails are aggregated to an aggregated trail in the form of a line. Further obfuscation of personally identifiable information occurs by resampling aggregated positional information, by introducing false positional information, or by falsely modifying existing positional information, in a manner that does not impact the overall aggregations, and by pruning, or deleting, positional information, especially around sensitive locations, such as a user's home, place of business, or other location that users typically would seek to keep private. Provision of positional information is delayed until a sufficient amount is received.

摘要翻译： 提供位置信息，同时最小化可以从其导出个人身份信息的可能性。 以可聚合的路径的形式收到位置信息。 网格的单个细胞反映了通过这些细胞的聚集迹线的数量，通过这些细胞的平均强度和移动方向，或其更详细的分布。 或者，单个路径将以行的形式聚合到聚合路径。 对个人识别信息的进一步模糊发生是通过重新采样聚合的位置信息，引入错误的位置信息，或以不影响总体聚集的方式错误地修改现有的位置信息，以及通过修剪或删除位置信息，特别是在 敏感位置，例如用户的家庭，营业地点或用户通常将寻求保密的其他位置。 提供位置信息被延迟直到接收到足够的量。

公开(公告)号：US20120239584A1

公开(公告)日：2012-09-20

申请号：US13052093

申请日：2011-03-20

申请人： Eran Yariv ,  Gur Kimchi ,  Barney Darryl Pell ,  Yair E. Gheva ,  Brian Beckman ,  Elad Ben-Israel

发明人： Eran Yariv ,  Gur Kimchi ,  Barney Darryl Pell ,  Yair E. Gheva ,  Brian Beckman ,  Elad Ben-Israel

IPC分类号： G01C21/00 ,  G06Q99/00

CPC分类号： G01C21/3438

摘要： Turn-by-turn directions can guide a user to a dynamic destination, such as a person or a rendezvous location. The turn-by-turn directions enable one user to follow another or, alternatively, multiple people to rendezvous with each other. The selection can be via identifiers used in network contexts, such as social networking Individuals can select the circumstances under which their location can be revealed. Turn-by-turn directions enabling following utilize anticipated locations or predictions of likely destinations based on historical and contextual information. Turn-by-turn directions enabling rendezvous reference a rendezvous location, which is either the same for all users, or which differs among them. Also, the directions can reference intermediate, “staging”, locations from which further intermediate, or ultimate, destinations can be routed to.

摘要翻译： 转弯方向可以将用户引导到动态目的地，例如人或交会位置。 转弯方向使一个用户可以跟随另一个或另一个使用者彼此交会。 选择可以通过在网络环境中使用的标识符，例如社交网络。个人可以选择可以揭示其位置的情况。 根据历史和上下文信息，可以使用预期的位置或预测可能的目的地。 转弯方向使会合参考会合位置，对于所有用户来说都是相同的，或者它们之间有所不同。 此外，方向可以参考中间，“分期”，进一步中间或最终目的地可以路由到的位置。

公开(公告)号：US20110173621A1

公开(公告)日：2011-07-14

申请号：US12686950

申请日：2010-01-13

申请人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Jeffrey van Gogh ,  Danny van Velzen ,  Brian Beckman ,  Mark Shields

发明人： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Jeffrey van Gogh ,  Danny van Velzen ,  Brian Beckman ,  Mark Shields

IPC分类号： G06F9/46 ,  G06F9/54

CPC分类号： G06F9/54

摘要： A library of operators is provided for performing operations on push-based streams. The library may be implemented in a computing device. The library may be stored on a tangible machine-readable medium and may include instructions to be executed by one or more processors of a computing device. The library of operators may include groups of operators for performing various types of operations regarding push-based streams. The groups of operators may include, but not be limited to, standard sequence operators, other sequence operators, time operators, push-based operators, asynchronous operators, exception operators, functional operators, context operators, and event-specific operators.

摘要翻译： 提供运营商库，用于对基于推送的流进行操作。 库可以在计算设备中实现。 库可以存储在有形的机器可读介质上，并且可以包括由计算设备的一个或多个处理器执行的指令。 操作员库可以包括用于对基于推送的流执行各种类型的操作的操作员组。 运营商组可能包括但不限于标准序列运算符，其他序列运算符，时间运算符，基于推算的运算符，异步运算符，异常运算符，函数运算符，上下文运算符和事件特定运算符。