-
公开(公告)号:US11481195B2
公开(公告)日:2022-10-25
申请号:US17122290
申请日:2020-12-15
Applicant: Google LLC
Inventor: Rishabh Singh , Aaron Zemach , Chiraag Galaiya , Dima Brezhnev , David Lick , Francisco Velasquez , Max Lin , Neha Bhargava , Peilun Zhang , Rahul Srinivasan , Simon Tong , Victoria Taylor , Vishnu Sivaji , Zifan Xiao
IPC: G06F8/30 , G06F40/18 , G06F16/2457
Abstract: Techniques are described herein for automatically synthesizing programs that include one or more functions in a spreadsheet programming language. A method includes: receiving a first example including input provided in a first cell in a spreadsheet; automatically synthesizing a plurality of candidate programs including a first set of candidate programs consistent with the first example, wherein each candidate program in the first set of candidate programs comprises at least one function in a spreadsheet programming language and, when the candidate program is executed, the candidate program generates output that matches the first example; ranking the plurality of candidate programs; and storing a highest-ranked program of the plurality of candidate programs in association with the first cell in the spreadsheet.
-
公开(公告)号:US20210382697A1
公开(公告)日:2021-12-09
申请号:US17122290
申请日:2020-12-15
Applicant: Google LLC
Inventor: Rishabh Singh , Aaron Zemach , Chiraag Galaiya , Dima Brezhnev , David Lick , Francisco Velasquez , Max Lin , Neha Bhargava , Peilun Zhang , Rahul Srinivasan , Simon Tong , Victoria Taylor , Vishnu Sivaji , Zifan Xiao
IPC: G06F8/30 , G06F16/2457 , G06F40/18
Abstract: Techniques are described herein for automatically synthesizing programs that include one or more functions in a spreadsheet programming language. A method includes: receiving a first example including input provided in a first cell in a spreadsheet; automatically synthesizing a plurality of candidate programs including a first set of candidate programs consistent with the first example, wherein each candidate program in the first set of candidate programs comprises at least one function in a spreadsheet programming language and, when the candidate program is executed, the candidate program generates output that matches the first example; ranking the plurality of candidate programs; and storing a highest-ranked program of the plurality of candidate programs in association with the first cell in the spreadsheet.
-
公开(公告)号:US20200342167A1
公开(公告)日:2020-10-29
申请号:US16927718
申请日:2020-07-13
Applicant: Google LLC
Inventor: Vishnu Sivaji , Andrea Dulko , Li-Wei Lee , Peter Likarish , Julian Rajeshwar , Steven Joseph Saviano , Jonathan Bronson , Aaron Zemach
IPC: G06F40/186 , G06F16/958 , G06F40/106 , G06F3/0482 , G06F3/0484
Abstract: A presentation document is provided for display at a user device. An addition of a content object into the presentation document is identified. A theme of the presentation document is identified based on the content object. A subset of the presentation document templates is provided for selection based on the identified theme. A user interaction associated with the presentation document is identified. Responsive to identifying the user interaction associated with the presentation document, suggested content for insertion into the presentation document are provided for presentation at the user device. A selection of a suggested content object from the suggested content is received. The selected suggested content object is applied to the presentation document.
-
公开(公告)号:US10135811B2
公开(公告)日:2018-11-20
申请号:US15994234
申请日:2018-05-31
Applicant: Google LLC
Inventor: Peter Yastrebenetsky , Vishnu Sivaji , Patrick Chilton
IPC: H04L29/06 , H04N21/436 , H04N21/258 , H04N21/4627
Abstract: A method may receive, over a network and at a host's media player that is logged in to a host's media account, a play request from a guest's device. The play request may include a request to play a guest's media item from the guest's media account and may be compliant with a first protocol. In response to receiving the play request, the method may initiate a guest mode on the host's media player, log out the host's media account, and securely store the host's credentials. The method may log in the guest's media account with fewer permissions than the host's permissions. The method may play the guest's media item and establish a connection between the host's media player and the guest's device in accordance with a second protocol. Upon completion of playback, the method may log out the guest's media account and log in the host's media account.
-
-
-