Abstract: It is proposed a computer-implemented method for compressing a three-dimensional modeled object. The method comprises: providing a mesh of the three-dimensional modeled object; parameterizing (u,v) the mesh in a two-dimensional plane, the parameterization of the mesh resulting in a set of vertices having two-dimensional coordinates; providing a grid on the two-dimensional plane; and modifying the two-dimensional coordinates of each vertex by assigning one vertex to one intersection of the grid. Such compression method is lossless, completely reversible, suitable to efficiently reduce the storage size of a CAD file.

Abstract: A system and method updates Computer Aided Design (CAD) models. An augmented reality view of a subject asset is displayed. User interaction therewith causes a CAD model updater to search a CAD database for corresponding CAD model of the subject asset. The CAD model updater displays the CAD model view of the subject asset overlayed on the augmented reality view. With the mashed-up display of these two views, the CAD model updater enables user interaction therewith to update the corresponding CAD model. The updates to the CAD model are made to the CAD file of the model's originating CAD modeling application.

Abstract: Computer-implemented method for building a web corpus (WCD) comprising the steps of: sending by a web crawler (WC) a query to a reference web crawl agent (RWCA), this query containing a least one identifier of a resource, receiving by the web crawler (WC) a response from the reference web crawl agent (RWCA); if this response does not contain the resource identified by the identifier, downloading by the web crawler (WC) the resource from the website (WS) corresponding to the identifier and adding the resource to the web corpus (WCD; and if this response contains the resource identified by the identifier, adding the resource to the web corpus (WCD).

Abstract: It is provided a computer-implemented method for simulating the machining of a workpiece with a cutting tool having a cutting part and a non-cutting part. The method comprises providing a modeled volume representing the workpiece and a trajectory of the cutting tool; determining a colliding sweep of the cutting tool, wherein the colliding sweep represents the volume swept by the non-cutting front of the cutting tool when the cutting tool follows the trajectory; testing a collision with the workpiece according to the determining step. Such a method improves the simulation of the machining of a workpiece with a cutting tool.

Abstract: A computer-implemented method includes storing a plurality of scheduled elements in a memory area, displaying a time horizon via a display device, and displaying a first portion of the plurality of scheduled elements within the time horizon. In response to a user input, the time horizon is adjusted and a second portion of the plurality of scheduled elements is displayed within the adjusted time horizon.

Abstract: A computer tool generates user-defined diminished reality images of a subject environment from source images. The diminished reality images display less real-world objects in the subject environment than that displayed in the source images. A 3D model of the subject environment in diminished reality is formed from the diminished reality images. The 3D model supports augmented reality user interaction with views of the subject environment diminished in reality and tidied/decluttered of user-selected objects.

Abstract: In one embodiment, a computer method of verifying an operator is human includes automatically selecting a pattern and dividing the pattern into a plurality of textures. The method further includes projecting each texture onto a different respective displayed element in a 3D experience. The method additionally includes randomizing a position and/or an orientation of at least one displayed element of the different respective display elements in the 3D experience. The method also includes receiving operator manipulations of the randomized elements to solve for the pattern and make the pattern appear/reappear. The method further includes granting access to the operator if the pattern is made to appear/reappear. Access is granted upon determining that the operator has made the pattern is appear/reappear, and access is denied if the operator fails to make the pattern appear/reappear.

Abstract: The invention notably relates to computer-implemented method for resizing an image I. The method comprises the steps of: providing the image I to resize; and providing an image significance by computing a significance of each pixel in the image to resize. An original spatial domain (?) of the significance image is extracted. A transformation T?, parameterized as an interpolating spline by a set of control points, is provided from ? to a resized spatial domain ??; subdividing ? into cells, each cell being defined by a subset of control points of the set. For each cell, a weighted average of the significance of the pixels in the cell is computed, the weighted average being computed using the interpolating spline. The cells of ? are deformed by displacing one or more control points of the cells having a lesser weighted average. The transformation T? over a spatial domain of the image I is computed using the displaced one or more control points.

Abstract: A sketch tool for CAD systems extends geometric templates. A markup type language file (e.g., XML file) is used to define an additional basic geometric shape. The file schema also enables definition of constraints and drag points of the subject shape.

Abstract: It is proposed a computer-implemented method for designing a staggered pattern of objects in a computer-aided design system, the method comprising the steps of: providing a reference object to be multi-instantiated; instantiating objects from the reference object for forming a grid with a number of rows and a number of columns, the grid being formed so that the rows are spaced from each other with a first distance in a first direction and each column being spaced from each other with a second distance in a second direction; shifting, in one of every two rows of the grid, the instantiated objects of all the columns of said one of every two rows of the grid with a third distance in the second direction.

Abstract: A computer-implemented method for designing a three-dimensional modeled object comprising the steps of providing a three-dimensional designing scene (41) in a display screen (40); and providing a graphical tool (42) in a first area (43) with a reduced size in the display area (44) of the screen (40) comprising at least one image (45, 46, 47). The graphical tool (42) is permanently superimposed over the scene (41).

Abstract: Creating a section view of a computer-aided design model includes creating a cutting line to apply to the computer-aided design model by at least one cut operation, constraining the cutting line by selecting a constraining point on the computer-aided design model or first inferring a geometric candidate to constrain the initial cutting line, and enhancing the cutting line by automatically adding an enhancement according to an enhancement type and adjusting the enhancement via a cursor-controlled device according to a set of rules.

Abstract: A computer-implemented method for manipulating three-dimensional modeled objects of an assembly in a three-dimensional scene, comprising the steps of: determining at least a first set of at least one object and a second set of at least one object among said three-dimensional modeled objects of the assembly; grouping the at least one object of the first set in a first three-dimensional bounding box (BB) and the at least one object of the second set in a second three-dimensional bounding box (BB); and relatively reorganizing the bounding boxes (BB).

Abstract: The invention is directed to a computer-implemented method for partitioning a three-dimensional scene into a plurality of zones, each zone being processed by a computing resource. The method comprises providing a three-dimensional scene comprising one or more objects, each object generating a computing resource cost; determining a set of locations in the three-dimensional scene; filling each location with its maximum occupancy of objects that reaches the most expensive computing cost; computing, for each location of the three-dimensional scene, the maximum computing cost density; and grouping adjacent locations into one or more zones, each zone having a resulting computing cost density guarantying a real-time performance of the zone.

Abstract: It is provided a computer-implemented method for designing a three-dimensional modeled object. The method comprises providing geometrical elements that represent the modeled object and that include a set in which the geometrical elements are a copy one of another. The method also comprises defining a graph, determining maximal sub-graphs of the graph, and identifying, within the determined sub-graphs, the set of connected components having the highest number of arcs and for which the rigid motions represented by the arcs all respect the identity criterion. Such a method improves the design of a 3D modeled object.

Abstract: The invention is directed to a computer program, a computer system and a method for navigating in a database of a subject system. The subject system comprises a graphical user interface. The invention method comprising steps of (i) returning results (110a-g) from a query in the database, and (ii) displaying in the graphical user interface (100) the results returned using several levels of progressive granularity. Each of the results is associated with one of the levels of granularity, according to the query.

Abstract: A computer-implemented method includes defining respective positions of a first set of nodes and a second set of nodes in an enrichment region, and performing a coupled pore fluid diffusion and stress analysis on the enrichment region at the first set of nodes. It is then determined whether the second set of nodes is activated—representing a fracture—as a result of the analysis, and the results are visually output to a user.

Abstract: A computer-implemented method for merging a first and second modeled object which are modified versions of an initial modeled object and are defined by a first and second graphs. The method comprises merging the first graph and the second graph. For this, the method comprises computing a first rewriting rule and a second rewriting rule corresponding respectively to a transformation of an initial graph into the first graph and the second graph, determining a third rewriting rule by assembling the first rewriting rule and the second rewriting rule, and computing a merged graph by applying the third rewriting rule to the initial graph. Such a method is an improvement for the merging of modeled objects.

Abstract: The invention discloses a computer-implemented process for selecting a manipulator of an object among a plurality of objects displayed in a graphical user interface, each object comprising at least one manipulator. The process comprises the steps of providing a set of manipulators, wherein each manipulator comprises at least one picking area and at least two picking areas of different manipulators of the set overlap; receiving, upon a user interaction with the graphical user interface, an event applied on the said at least two overlapping picking areas; triggering a set of filters for selecting one manipulator of the set to be activated.

Abstract: The invention relates to a method for checking and/or transformation of a computer program present in a programming language which supports first-class functions and in which a type check of the program or of at least a part of the program is performed in order to assign a type to each expression of the program or part of the program, the type consisting of a base type and a binding time. The set of base types comprises at least base types for describing simple values and a function type for describing functions, and the set of binding times comprises at least one static binding time and one dynamic binding time, and a function type is only accepted during the type check together with the static binding time.