摘要:
A method for assessing computer system conformance with at least one requirement is provided. A first encoding of software commands is translated into a second encoding of software commands for use with a test-automation tool. The second encoding of software commands is processed to simulate at least one user interaction with the computer system through the test-automation tool.
摘要:
A method (and system) for generating a structured representation from an unstructured description includes receiving, by a computer, an unstructured description, and generating, by the computer, a structured representation based upon the unstructured description.
摘要:
A system and method are disclosed for building virtual content from within a virtual environment using virtual tools to build and modify the virtual content.
摘要:
Methods for enabling hands-free selection of virtual objects are described. In some embodiments, a gaze swipe gesture may be used to select a virtual object. The gaze swipe gesture may involve an end user of a head-mounted display device (HMD) performing head movements that are tracked by the HMD to detect whether a virtual pointer controlled by the end user has swiped across two or more edges of the virtual object. In some cases, the gaze swipe gesture may comprise the end user using their head movements to move the virtual pointer through two edges of the virtual object while the end user gazes at the virtual object. In response to detecting the gaze swipe gesture, the HMD may determine a second virtual object to be displayed on the HMD based on a speed of the gaze swipe gesture and a size of the virtual object.
摘要:
A portable table top formed from a base having multiple legs and brackets for accommodating various positions. Extension brackets are attached to side edges which engage a mounting tab slidably insertable into a cavity formed on each side edge of the base. A centrally positioned support having a first end pivotably mounted to a lower surface of the base provides a three-point support. Legs are provided if the base is to be used on flat table as an angled work surface.
摘要:
A portable table top formed from a base having multiple legs and brackets for accommodating various positions. Extension brackets are attached to side edges which engage a mounting tab slidably insertable into a cavity formed on each side edge of the base. A centrally positioned support having a first end pivotably mounted to a lower surface of the base provides a three point support. Legs are provided if the base is to be used on flat table as an angled work surface.
摘要:
Methods for positioning virtual objects within an augmented reality environment using snap grid spaces associated with real-world environments, real-world objects, and/or virtual objects within the augmented reality environment are described. A snap grid space may comprise a two-dimensional or three-dimensional virtual space within an augmented reality environment in which one or more virtual objects may be positioned. In some embodiments, a head-mounted display device (HMD) may identify one or more grid spaces within an augmented reality environment, detect a positioning of a virtual object within the augmented reality environment, determine a target grid space of the one or more grid spaces in which to position the virtual object, determine a position of the virtual object within the target grid space, and display the virtual object within the augmented reality environment based on the position of the virtual object within the target grid space.
摘要:
A racking frame kit including a storage container housing three shaped side members that can assembled into an equilateral triangular enclosure for receipt of a group of balls in a compressed position. The racking frame providing a portable device that allows pool players to obtain the repeatability necessary from location to location. The kit further provides for the tightening of the formation of balls to obtain the maximum transfer of energy from a cue ball impact which will allow a predictable and disperse spread of balls across a playing surface. Various embodiments include a latching release, a magnet release, a tongue & groove release, and an elastic band.
摘要:
There is provided a method for generating a software module based upon elements from multiple software modules. The method includes the step of extracting a plurality of sets of elements from the multiple software modules based upon at least one extraction criterion. Any elements in the sets that violate at least one correctness and completeness criterion are identified. The violating elements are automatically brought into compliance with the at least one correctness and completeness criterion. A plurality of single software modules is generated, wherein each of the single software modules contains one of the sets of elements. The plurality of single software modules are composed to form a final, single software module. The extracting step may include the steps of: classifying the elements in the multiple software modules according to concerns the elements pertain to; representing the concerns by a multi-dimensional space, wherein each dimension represents a type of concern, each coordinate on a dimension represents a concern of that type, and each point in the space represents an element; and representing the at least one extraction criterion in terms of the multi-dimensional space.