Abstract: A method, system and product for implementing user-based ethical decision making in autonomous vehicles. The system includes an ethical investigator that presents an ethical questioner to an entity and collects the entity's responses. An ethical synthesizer synthesizes an ethical preference of the entity based on the collected responses. An ethical determinator selects an action from a plurality of potential actions based on an ethical preference of a controlling entity of a self-driving vehicle at a time the selection is made. The system is configured to cause the self-driving vehicle to perform the action selected by said ethical determinator automatically and without relying on user input.

Abstract: A method, system and product for user-based ethical decision making by a self-driving vehicle. The method comprises determining an ethical preference for the self-driving vehicle based on an ethical preference of a controlling entity that is controlling over the self-driving vehicle. The ethical preference of the controlling entity is obtained based on responses of the controlling entity to an ethical questioner. The method further comprises selecting a selected outcome between two potential alternative outcomes. The selection is performed based on the ethical preference for the self-driving vehicle, and causing the self-driving vehicle to perform the selected action, whereby causing the selected outcome.

Abstract: Method, system and product for performing private and non-private tasks in Augmented Reality (AR) systems. A privacy policy of a user using an AR device is obtained. A frame sensor is utilized to obtain frames for processing. An overlay display for the frame is generated. The overlay display is generated based on an execution of a non-private task on a non-trusted device and based on an execution of a private task on a trusted device. The private task and the non-private task are determined based on the privacy policy. The overlay display is displayed by an AR device.

Abstract: Method, system and product for performing private and non-private tasks in Augmented Reality (AR) systems. A privacy policy of a user using an AR device is obtained. A frame sensor is utilized to obtain frames for processing. An overlay display for the frame is generated. The overlay display is generated based on an execution of a non-private task on a non-trusted device and based on an execution of a private task on a trusted device. The private task and the non-private task are determined based on the privacy policy. The overlay display is displayed by an AR device.

Abstract: A method, system and product including obtaining a frame from a frame sensor of an Augmented Reality (AR) system comprising an AR device; executing a first skin on the frame or portion thereof to obtain a first overlay; executing a second skin on the frame or portion thereof to obtain a second overlay, wherein the first and second skins are configured to provide an augmented overlay to be used by the AR system in determining an AR view, wherein said executing the second skin is performed without providing the first overlay to the second skin; determining whether the second overlay can be utilized for providing the AR view; generating the AR view based on the first overlay and based on said determining whether the second overlay can be utilized for providing the AR view; and providing the AR view via the AR device.

Abstract: A method, system and product for user-based ethical decision making by a self-driving vehicle. The method comprises determining an ethical preference for the self-driving vehicle based on an ethical preference of a controlling entity that is controlling over the self-driving vehicle. The ethical preference of the controlling entity is obtained based on responses of the controlling entity to an ethical questioner. The method further comprises selecting a selected outcome between two potential alternative outcomes. The selection is performed based on the ethical preference for the self-driving vehicle, and causing the self-driving vehicle to perform the selected action, whereby causing the selected outcome.

Abstract: System, method and product for vehicle navigation. A method comprising obtaining a location of a vehicle and obtaining a data about the passenger in the vehicle. Based on the data, a constraint on a driving route of the vehicle is determined. The constraint is characterized in extending the driving route so as to extend a driving time to the destination to be longer than a minimal driving time from the location to the destination. A driving plan is generated based on the constraint, wherein the driving plan defining a route from the location to the destination, whereby the vehicle can be driven according to the driving plan.

Abstract: A method, system and product including obtaining a frame from a frame sensor of an Augmented Reality (AR) system comprising an AR device; executing a first skin on the frame or portion thereof to obtain a first overlay; executing a second skin on the frame or portion thereof to obtain a second overlay, wherein the first and second skins are configured to provide an augmented overlay to be used by the AR system in determining an AR view, wherein said executing the second skin is performed without providing the first overlay to the second skin; determining whether the second overlay can be utilized for providing the AR view; generating the AR view based on the first overlay and based on said determining whether the second overlay can be utilized for providing the AR view; and providing the AR view via the AR device.

Abstract: A method, apparatus and product for utilizing markers for augmented reality. The apparatus comprising: a frame sensor configured to obtain a frame, wherein the frame is associated with a field of view of a user; a processor configured to: execute an augmented reality framework, wherein the augmented reality framework is configured to invoke at least one skin to compute an augmented reality display for the user; wherein the augmented reality framework is configured to identify a marker in the frame, wherein in response to identifying the marker, altering functionality of the augmented reality framework.

Abstract: Method, system and product for performing private and non-private tasks in Augmented Reality (AR) systems. A privacy policy of a user using an AR device is obtained. A frame sensor is utilized to obtain frames for processing. An overlay display for the frame is generated. The overlay display is generated based on an execution of a non-private task on a non-trusted device and based on an execution of a private task on a trusted device. The private task and the non-private task are determined based on the privacy policy. The overlay display is displayed by an AR device.

Abstract: A method, apparatus and product for utilizing markers for augmented reality. The apparatus comprising: a frame sensor configured to obtain a frame, wherein the frame is associated with a field of view of a user; a processor configured to: execute an augmented reality framework, wherein the augmented reality framework is configured to invoke at least one skin to compute an augmented reality display for the user; wherein the augmented reality framework is configured to identify a marker in the frame, wherein in response to identifying the marker, altering functionality of the augmented reality framework.

Abstract: System, method and product for vehicle navigation. A method comprising obtaining a location of a vehicle and obtaining a data about the passenger in the vehicle. Based on the data, a constraint on a driving route of the vehicle is determined. The constraint is characterized in extending the driving route so as to extend a driving time to the destination to be longer than a minimal driving time from the location to the destination. A driving plan is generated based on the constraint, wherein the driving plan defining a route from the location to the destination, whereby the vehicle can be driven according to the driving plan.

Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.

Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.

Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.

Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.

Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.

Abstract: A method, system for encoding or decoding information in physical properties of an object. A tangible product comprises a three dimensional tangible object having modified physical properties; and wherein the modified physical properties are a modification of physical properties, wherein the modification encodes information. A method comprising: obtaining a representation of a three dimensional object having physical properties; obtaining information to encode; determining modified physical properties by modifying the physical properties to encode within the modified physical properties the information; and producing a tangible product, wherein the tangible product is the three dimensional object having the modified physical properties.

Abstract: A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common control flow. A symbolic representation of the equivalence class is evaluated so as to verify a compliance of the set of the execution sequences with one or more of the properties.

Abstract: A system for remote operation of the computer software applications, the system including a remote application controller for associating a master control with both a master application and a master action associated with the master application, and a command receiver/implementer for associating a slave control with both a slave application and a slave action associated with the slave application, where the remote application controller commands the command receiver/implementer to perform the slave action in connection with the performing of the master action.