Patents by Inventor David Lehavi

David Lehavi has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11514647
    Abstract: A non-transitory computer readable medium that stores instructions that once executed by a computer cause the computer to execute the stages of: calculating a first function that represents an object that is three dimensional; calculating a second function that is a convolution or an approximated convolution of (a) the first function applied on points of the object, and (b) an other function that is the first function composed with a function that sends points of the object to opposite points; wherein the second function is translation invariant; and calculating the translation and rotation invariant features of the query object, based on the second function.
    Type: Grant
    Filed: January 29, 2021
    Date of Patent: November 29, 2022
    Assignee: RESONAI LTD.
    Inventors: Ami Haviv, Yair Hayut, David Lehavi
  • Patent number: 10242125
    Abstract: Example embodiments relate to regular expression matching. An example method may include generating a data structure based on a non-deterministic finite automaton (NFA) that represents a regular expression. The data structure may include a set of segments where each segment indicates a segment starting state of the NFA. Each segment may represent zero or more consecutive states of the NFA starting at the segment starting state. Different segments of the set of segments may be capable of indicating different segment starting states on the NFA. Each segment may represent a partial match of the regular expression to the string. The method may further include analyzing the string in relation to the NFA. The method may further include modifying the data structure as the string is analyzed. Such modification may include attempting to expand at least one of the segments in the set to represent additional states of the NFA.
    Type: Grant
    Filed: December 5, 2013
    Date of Patent: March 26, 2019
    Assignee: ENTIT SOFTWARE LLC
    Inventors: David Lehavi, Omer Barkol
  • Patent number: 10088969
    Abstract: In one implementation, an image-based automation process includes identifying a graphical object of a graphical user interface and performing an action relative to the graphical object at the graphical user interface. The identifying is based on an image including the graphical object.
    Type: Grant
    Filed: May 6, 2011
    Date of Patent: October 2, 2018
    Assignee: ENTIT SOFTWARE LLC
    Inventors: Sagi Schein, Omer Barkol, Ruth Bergman, David Lehavi, Ayelel Pnueli, Yonathan Livny
  • Patent number: 9911188
    Abstract: A method, comprising receiving or calculating first information about a representation of a first object; receiving or calculating second information about a representation of a second object; calculating, based on the first information, an orbit-responsive representation of the first object; calculating, based on the second information, multiple intermediate representations of the second object; wherein each intermediate representation is orbit responsive and transformation responsive; wherein different intermediate representations correspond to different transformations of the octahedral group; and determining a misalignment between a preliminary representation of the first object and a preliminary representation of the second object based on a relationship between the first information and each of the intermediate representations.
    Type: Grant
    Filed: April 13, 2016
    Date of Patent: March 6, 2018
    Assignee: YOWZA LTD.
    Inventors: David Lehavi, Shir Peled
  • Patent number: 9703755
    Abstract: A non-transitory storage device containing software than, when executed by a processor, causes the processor to generate a projection set of polynomials based on a projection of a space linear combination of candidate polynomials of degree d on polynomials of degree less than d that do not evaluate to less than a threshold on a set of points. The software also causes the processor to compute the singular value decomposition of a matrix containing the difference between candidate polynomials evaluated on the points and the projection set of polynomials evaluated on the points, and to partition the polynomials resulting from the singular value decomposition based on a threshold.
    Type: Grant
    Filed: July 30, 2012
    Date of Patent: July 11, 2017
    Assignee: Hewlett Packard Enterprise Development LP
    Inventors: David Lehavi, Sagi Schein
  • Patent number: 9606897
    Abstract: A method for automated semantic parsing of an image of a structured document includes acquiring the image of the structured document. The image of the structured document is lexed so as to associate each image element of a plurality of image elements of the image with a predefined token. A user defined template of expected semantically significant elements of the structured document is input into a parser, the expected elements being defined in a visibly pushdown language (VPL) format. The tokens are parsed into the expected elements. A computer readable medium containing executable instructions and a system are also described.
    Type: Grant
    Filed: June 16, 2011
    Date of Patent: March 28, 2017
    Assignee: Hewlett Packard Enterprise Development LP
    Inventors: David Lehavi, Omer Barkol
  • Patent number: 9508150
    Abstract: A non-transitory computer readable medium that stores instructions that once executed by a computer cause the computer to execute the stages of: calculating first curvature attributes of first areas of a first representation of a first three dimensional object; calculating second curvature attributes of second areas of a second representation of a second three dimensional object; selecting first points of interest of the first representation in response to the first curvature attributes; selecting second points of interest of the second representation in response to the second curvature attributes; classifying the first points of interest to first classes; classifying the second points of interest to second classes; calculating multiple sets of first vectors that are indicative of spatial relationships between first points of interest, wherein different sets out of the multiple sets of the first vectors are associated with different first classes; calculating multiple sets of second vectors that are indicativ
    Type: Grant
    Filed: June 8, 2015
    Date of Patent: November 29, 2016
    Assignee: YOWZA LTD.
    Inventors: David Lehavi, Eyal Fink, Naomi Keren
  • Publication number: 20160275205
    Abstract: Example embodiments relate to regular expression matching. An example method may include generating a data structure based on a non-deterministic finite automaton (NFA) that represents a regular expression. The data structure may include a set of segments where each segment indicates a segment starting state of the NFA. Each segment may represent zero or more consecutive states of the NFA starting at the segment starting state. Different segments of the set of segments may be capable of indicating different segment starting states on the NFA. Each segment may represent a partial match of the regular expression to the string. The method may further include analyzing the string in relation to the NFA. The method may further include modifying the data structure as the string is analyzed. Such modification may include attempting to expand at least one of the segments in the set to represent additional states of the NFA.
    Type: Application
    Filed: December 5, 2013
    Publication date: September 22, 2016
    Inventors: David Lehavi, Omer Barkol
  • Publication number: 20160247317
    Abstract: A computer implemented method, the method comprises: receiving or generating a mesh, wherein the mesh is a three dimensional surface mesh that comprises multiple vertexes and represents a three dimensional object; assigning an initial vertex weight to each vertex of the multiple vertexes; calculating, in response to multiple initial vertex weights of the multiple vertexes, an initial cut curve that passes through arcs that connect vertexes having initial vertex weights of opposite signs; wherein the initial cut curve segments the mesh to multiple parts; searching, by applying an iterative process, for a desired cut curve; wherein the desired cut curve is selected in response to multiple values of a continuous target function that are associated with multiple iterations of the iterative process; wherein during each iteration of the iterative process a value of the continuous target function is responsive to values assigned to vertexes during the iteration.
    Type: Application
    Filed: February 25, 2015
    Publication date: August 25, 2016
    Inventors: Susanne Pielawa, David Lehavi
  • Publication number: 20160188694
    Abstract: A method, system and storage device are generally directed to determining for each of a plurality of data points, a neighborhood of data points about each such data point. For each such neighborhood of data points, a projection set of polynomials is generated based on candidate polynomials. The projection set of polynomials evaluated on the neighborhood of data points is subtracted from the plurality of candidate polynomials evaluated on the neighborhood of data points to generate a subtraction matrix of evaluated resulting polynomials. The singular value decomposition of the subtraction matrix is then computed. The resulting polynomials are clustered into multiple clusters and then partitioned based on a threshold.
    Type: Application
    Filed: July 31, 2013
    Publication date: June 30, 2016
    Applicant: Hewlett-Packard Development Company, L.P.
    Inventors: David Lehavi, Sagi Schein, Amir Globerson, Shai Shalev-Shwartz, Roi Livni
  • Publication number: 20150127694
    Abstract: A non-transitory storage device containing software than, when executed by a processor, causes the processor to generate a projection set of polynomials based on a projection of a space linear combination of candidate polynomials of degree d on polynomials of degree less than d that do not evaluate to less than a threshold on a set of points. The software also causes the processor to compute the singular value decomposition of a matrix containing the difference between candidate polynomials evaluated on the points and the projection set of polynomials evaluated on the points, and to partition the polynomials resulting from the singular value decomposition based on a threshold.
    Type: Application
    Filed: July 30, 2012
    Publication date: May 7, 2015
    Inventors: David Lehavi, Sagi Schein
  • Patent number: 8924316
    Abstract: A method includes obtaining, by executing a module stored on a non-transitory computer-readable storage device, approximately-zero polynomials for each of multiple classes. The method further includes evaluating the approximately-zero polynomials for each class on a plurality of points to compute distances from each point to each of the classes. The method also includes scaling the approximately-zero polynomials based on the distances and classifying the points based on the scaled approximately-zero polynomials.
    Type: Grant
    Filed: July 31, 2012
    Date of Patent: December 30, 2014
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: David Lehavi, Hila Nachlieli, Sagi Schein
  • Patent number: 8887160
    Abstract: Tasks are mapped to execution threads of a parallel processing device. Tasks are mapped from the list of tasks to execution threads of the parallel processing device that are free. The parallel processing device is allowed to perform the tasks mapped to the execution threads of the parallel processing device for a predetermined number of execution cycles. When the parallel processing device has performed the tasks mapped to the execution threads of the parallel processing device for the predetermined number of execution cycles, the parallel processing device is suspended from further performing the tasks to allow the parallel processing device to determine which execution threads have completed performance of mapped tasks and are therefore free.
    Type: Grant
    Filed: November 21, 2011
    Date of Patent: November 11, 2014
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: David Lehavi, Sagi Schein
  • Patent number: 8760327
    Abstract: A method for compressing a plurality of coordinates includes obtaining a plurality of approximately-zero polynomials of dimension dim for a plurality of coordinate parameters. The method further includes selecting dim+1 non-approximately-zero polynomials, and providing a compressed data set that includes the approximately-zero polynomials, the dim+1 non-approximately-zero polynomials, and evaluations of the selected dim+1 non-approximately-zero polynomials based on the coordinates.
    Type: Grant
    Filed: October 25, 2012
    Date of Patent: June 24, 2014
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Sagi Schein, David Lehavi, Hila Nachlieli
  • Publication number: 20140118171
    Abstract: A method for compressing a plurality of coordinates includes obtaining a plurality of approximately-zero polynomials of dimension dim for a plurality of coordinate parameters. The method further includes selecting dim+1 non-approximately-zero polynomials, and providing a compressed data set that includes the approximately-zero polynomials, the dim+1 non-approximately-zero polynomials, and evaluations of the selected dim+1 non-approximately-zero polynomials based on the coordinates.
    Type: Application
    Filed: October 25, 2012
    Publication date: May 1, 2014
    Applicant: HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P.
    Inventors: Sagi SCHEIN, David LEHAVI, Hila NACHLIELI
  • Publication number: 20140035954
    Abstract: A method includes obtaining, by executing a module stored on a non-transitory computer-readable storage device, approximately-zero polynomials for each of multiple classes. The method further includes evaluating the approximately-zero polynomials for each class on a plurality of points to compute distances from each point to each of the classes. The method also includes scaling the approximately-zero polynomials based on the distances and classifying the points based on the scaled approximately-zero polynomials.
    Type: Application
    Filed: July 31, 2012
    Publication date: February 6, 2014
    Inventors: David LEHAVI, Hila NACHLIELI, Sagi SCHEIN
  • Publication number: 20140033091
    Abstract: In one implementation, an image-based automation process includes identifying a graphical object of a graphical user interface and performing an action relative to the graphical object at the graphical user interface. The identifying is based on an image including the graphical object.
    Type: Application
    Filed: May 6, 2011
    Publication date: January 30, 2014
    Inventors: Sagi Schein, Omer Barkol, Ruth Bergman, David Lehavi, Ayelel Pnueli, Yonathan Livny
  • Patent number: 8533279
    Abstract: In a distributed information network, a method and system for assembling messages in an input set of messages into one or more message assemblies. The method involves constructing an initial directed graph of the set of messages, wherein the directed graph consists of pairs of a first vertex and a second vertex, wherein, for each message in the set of messages, a first vertex is an the out node of the message and the second vertex is the in node of the message. A connectivity matrix is defined on the initial directed graph that is modified in an iterative process. A final directed graph is produced that is partitioned into disjoint subgraphs, each subgraph being an assembly of messages from the input message set.
    Type: Grant
    Filed: September 21, 2010
    Date of Patent: September 10, 2013
    Assignee: Trading Systems Associates (TS-A) (Israel) Limited
    Inventors: Ariel Shaqed, David Lehavi
  • Publication number: 20130132961
    Abstract: Tasks are mapped to execution threads of a parallel processing device. Tasks are mapped from the list of tasks to execution threads of the parallel processing device that are free. The parallel processing device is allowed to perform the tasks mapped to the execution threads of the parallel processing device for a predetermined number of execution cycles. When the parallel processing device has performed the tasks mapped to the execution threads of the parallel processing device for the predetermined number of execution cycles, the parallel processing device is suspended from further performing the tasks to allow the parallel processing device to determine which execution threads have completed performance of mapped tasks and are therefore free.
    Type: Application
    Filed: November 21, 2011
    Publication date: May 23, 2013
    Inventors: David Lehavi, Sagi Schein
  • Patent number: 8438262
    Abstract: The invention provides a method and system for fusing message paths that occurred in a first domain in a communication network, with message paths that occurred in a second domain in the communication network a communication channel exists between the two domains. A first message path that occurred in the first domain and included a message sent to the second domain along the communication channel is fused to a second path that occurred in the second domain that included the message received from the first domain. Each message that is transmitted in the communication channel between the two domains is assigned a message unique identifier that allows each domain to associate a message sent from one domain to the other with a response message sent in the opposite direction.
    Type: Grant
    Filed: January 12, 2011
    Date of Patent: May 7, 2013
    Assignee: Correlix Ltd.
    Inventors: David Lehavi, Ariel Shaqed