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: 11514647Abstract: 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: GrantFiled: January 29, 2021Date of Patent: November 29, 2022Assignee: RESONAI LTD.Inventors: Ami Haviv, Yair Hayut, David Lehavi
-
Patent number: 10242125Abstract: 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: GrantFiled: December 5, 2013Date of Patent: March 26, 2019Assignee: ENTIT SOFTWARE LLCInventors: David Lehavi, Omer Barkol
-
Patent number: 10088969Abstract: 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: GrantFiled: May 6, 2011Date of Patent: October 2, 2018Assignee: ENTIT SOFTWARE LLCInventors: Sagi Schein, Omer Barkol, Ruth Bergman, David Lehavi, Ayelel Pnueli, Yonathan Livny
-
Patent number: 9911188Abstract: 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: GrantFiled: April 13, 2016Date of Patent: March 6, 2018Assignee: YOWZA LTD.Inventors: David Lehavi, Shir Peled
-
Patent number: 9703755Abstract: 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: GrantFiled: July 30, 2012Date of Patent: July 11, 2017Assignee: Hewlett Packard Enterprise Development LPInventors: David Lehavi, Sagi Schein
-
Patent number: 9606897Abstract: 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: GrantFiled: June 16, 2011Date of Patent: March 28, 2017Assignee: Hewlett Packard Enterprise Development LPInventors: David Lehavi, Omer Barkol
-
Patent number: 9508150Abstract: 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 indicativType: GrantFiled: June 8, 2015Date of Patent: November 29, 2016Assignee: YOWZA LTD.Inventors: David Lehavi, Eyal Fink, Naomi Keren
-
Publication number: 20160275205Abstract: 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: ApplicationFiled: December 5, 2013Publication date: September 22, 2016Inventors: David Lehavi, Omer Barkol
-
Publication number: 20160247317Abstract: 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: ApplicationFiled: February 25, 2015Publication date: August 25, 2016Inventors: Susanne Pielawa, David Lehavi
-
Publication number: 20160188694Abstract: 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: ApplicationFiled: July 31, 2013Publication date: June 30, 2016Applicant: Hewlett-Packard Development Company, L.P.Inventors: David Lehavi, Sagi Schein, Amir Globerson, Shai Shalev-Shwartz, Roi Livni
-
Publication number: 20150127694Abstract: 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: ApplicationFiled: July 30, 2012Publication date: May 7, 2015Inventors: David Lehavi, Sagi Schein
-
Patent number: 8924316Abstract: 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: GrantFiled: July 31, 2012Date of Patent: December 30, 2014Assignee: Hewlett-Packard Development Company, L.P.Inventors: David Lehavi, Hila Nachlieli, Sagi Schein
-
Patent number: 8887160Abstract: 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: GrantFiled: November 21, 2011Date of Patent: November 11, 2014Assignee: Hewlett-Packard Development Company, L.P.Inventors: David Lehavi, Sagi Schein
-
Patent number: 8760327Abstract: 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: GrantFiled: October 25, 2012Date of Patent: June 24, 2014Assignee: Hewlett-Packard Development Company, L.P.Inventors: Sagi Schein, David Lehavi, Hila Nachlieli
-
Publication number: 20140118171Abstract: 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: ApplicationFiled: October 25, 2012Publication date: May 1, 2014Applicant: HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P.Inventors: Sagi SCHEIN, David LEHAVI, Hila NACHLIELI
-
Publication number: 20140035954Abstract: 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: ApplicationFiled: July 31, 2012Publication date: February 6, 2014Inventors: David LEHAVI, Hila NACHLIELI, Sagi SCHEIN
-
Publication number: 20140033091Abstract: 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: ApplicationFiled: May 6, 2011Publication date: January 30, 2014Inventors: Sagi Schein, Omer Barkol, Ruth Bergman, David Lehavi, Ayelel Pnueli, Yonathan Livny
-
Patent number: 8533279Abstract: 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: GrantFiled: September 21, 2010Date of Patent: September 10, 2013Assignee: Trading Systems Associates (TS-A) (Israel) LimitedInventors: Ariel Shaqed, David Lehavi
-
Publication number: 20130132961Abstract: 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: ApplicationFiled: November 21, 2011Publication date: May 23, 2013Inventors: David Lehavi, Sagi Schein
-
Patent number: 8438262Abstract: 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: GrantFiled: January 12, 2011Date of Patent: May 7, 2013Assignee: Correlix Ltd.Inventors: David Lehavi, Ariel Shaqed