Abstract: A computer-implemented method, computer program product, and computer system are provided. The method comprises training a machine-learning model using an initial set of training data samples, receiving a new training data sample, and predicting a label for the new training data sample. The method also comprises, upon determining that a prediction quality value for the predicted label of the new training data sample is below a predefined quality value, adding the new training data sample to the initial set, thereby building an extended training data set. The method also comprises retraining the machine-learning model using the extended training data set.

Abstract: Computer-implemented methods and apparatus are provided for annotating digital images of line plots with ground truth labels. For each digital image, such a method includes supplying image data defining the image of a line plot to a machine-learning model trained to generate a set of control points defining a spline corresponding to the line plot. The method further comprises displaying the spline, and the set of control points, superimposed on the image in a graphical user interface and, in response to user manipulation via the graphical user interface of one or more control points, dynamically adjusting the displayed spline in accordance with manipulated control points whereby the displayed spline can be adjusted for conformity with the line plot. The set of control points for the adjusted spline is then stored as a ground truth label for the image.

Abstract: A computer-implemented method, computer program product, and computer system are provided. The method comprises training a machine-learning model using an initial set of training data samples, receiving a new training data sample, and predicting a label for the new training data sample. The method also comprises, upon determining that a prediction quality value for the predicted label of the new training data sample is below a predefined quality value, adding the new training data sample to the initial set, thereby building an extended training data set. The method also comprises retraining the machine-learning model using the extended training data set.

Abstract: Computer-implemented methods and apparatus are provided for annotating digital images of line plots with ground truth labels. For each digital image, such a method includes supplying image data defining the image of a line plot to a machine-learning model trained to generate a set of control points defining a spline corresponding to the line plot. The method further comprises displaying the spline, and the set of control points, superimposed on the image in a graphical user interface and, in response to user manipulation via the graphical user interface of one or more control points, dynamically adjusting the displayed spline in accordance with manipulated control points whereby the displayed spline can be adjusted for conformity with the line plot. The set of control points for the adjusted spline is then stored as a ground truth label for the image.

Abstract: Charging of a mobile device in an ad hoc parked vehicle charging system. A plurality of mobile device users and associated mobile devices are registered in an ad hoc parked vehicle charging system with a charging profile. A plurality of charging vehicles are also registered in the system with a charge supply profile. A mobile device user and associated mobile device are authenticated as a registered user in the system. A plurality of the registered charging vehicles parked within a preset distance range of the authenticated user and associated mobile device are located and one of the parked registered charging vehicles is selected based on an energy allocation criteria. A charging connection is established between the authenticated mobile device and the selected parked vehicle and charging of the mobile device is automatically controlled according to the user's charging profile, the vehicle's charge supply profile and the energy allocation criteria.

Abstract: A method, a computer program product, and a computer system for monitoring and enforcing an automated fee payment in an infrastructure. A mobile device on a verifier's vehicle monitors a record of a transaction of a payment on a distributed ledger. The payment is paid for using a service of the infrastructure and by a mobile device on an infrastructure user's vehicle. The mobile device on the verifier's vehicle captures information of the transaction of the payment and the infrastructure user's vehicle. The information is broadcasted by the mobile device on the infrastructure user's vehicle. The mobile device on the verifier's vehicle determines whether there is a valid transaction of the payment for the service. The mobile device on the verifier's vehicle sends a violation record to an offense reporting address of an infrastructure provider, in response to determining that there is no valid transaction of the payment.

Abstract: Charging of a mobile device in an ad hoc parked vehicle charging system. A plurality of mobile device users and associated mobile devices are registered in an ad hoc parked vehicle charging system with a charging profile. A plurality of charging vehicles are also registered in the system with a charge supply profile. A mobile device user and associated mobile device are authenticated as a registered user in the system. A plurality of the registered charging vehicles parked within a preset distance range of the authenticated user and associated mobile device are located and one of the parked registered charging vehicles is selected based on an energy allocation criteria. A charging connection is established between the authenticated mobile device and the selected parked vehicle and charging of the mobile device is automatically controlled according to the user's charging profile, the vehicle's charge supply profile and the energy allocation criteria.

Abstract: A system and method for charging of a mobile device in an ad hoc parked vehicle charging system. A plurality of mobile device users and charging vehicles are registered in the ad hoc parked vehicle charging system. The current charge of an authenticated mobile device user is monitoring and the user is automatically alerted the authenticated user that the current charge is below a threshold set in the user's charging profile. The method includes locating registered charging vehicles parked within a preset distance range of the authenticated user and sending the parked location information to the user, automatically enabling a wireless charging connection between the authenticated user's mobile device and a parked registered charging vehicle selected by the user and automatically controlling charging the authenticated user's mobile device according to the authenticated user's charging profile and the parked registered charging vehicle's charge supply profile.

Abstract: A method for localizing the source of air pollution that includes receiving pollution data from a network in communication with at least one air pollution sensor that is connected to at least one motor vehicle in a stationary position. Each stationary motor vehicle of the network is positioned at a different air pollution measurement location. The method may further include determining from the pollution data an origin of an air pollutant using an air pollution model provided by a pollutant source localization device including at least one hardware processor.

Abstract: A system and method for charging of a mobile device in an ad hoc parked vehicle charging system. A plurality of mobile device users and charging vehicles are registered in the ad hoc parked vehicle charging system. The current charge of an authenticated mobile device user is monitoring and the user is automatically alerted the authenticated user that the current charge is below a threshold set in the user's charging profile. The method includes locating registered charging vehicles parked within a preset distance range of the authenticated user and sending the parked location information to the user, automatically enabling a wireless charging connection between the authenticated user's mobile device and a parked registered charging vehicle selected by the user and automatically controlling charging the authenticated user's mobile device according to the authenticated user's charging profile and the parked registered charging vehicle's charge supply profile.

Abstract: A system and method for charging of a mobile device in an ad hoc charging system. A plurality of mobile device users are registered in the ad hoc charging system, each with a charging profile. A plurality of charging stations are registered in the ad hoc charging system, each with a charge supply profile. A mobile device user is authenticated as an ad hoc charging system registered user with one of the plurality of registered charging stations, thereby enabling a charging connection between the authenticated user and the one registered charging station. The charging of the authenticated user's mobile device is controlled according to the authenticated user's charging profile and the one registered charging station's charge supply profile. Energy monitoring, movement tracking, energy prediction, user notification and energy allocation features are also included.

Abstract: A method for localizing the source of air pollution that includes receiving pollution data from a network in communication with at least one air pollution sensor that is connected to at least one motor vehicle in a stationary position. Each stationary motor vehicle of the network is positioned at a different air pollution measurement location. The method may further include determining from the pollution data an origin of an air pollutant using an air pollution model provided by a pollutant source localization device including at least one hardware processor.

Abstract: A system and method for charging of a mobile device in an ad hoc charging system. A plurality of mobile device users are registered in the ad hoc charging system, each with a charging profile. A plurality of charging stations are registered in the ad hoc charging system, each with a charge supply profile. A mobile device user is authenticated as an ad hoc charging system registered user with one of the plurality of registered charging stations, thereby enabling a charging connection between the authenticated user and the one registered charging station. The charging of the authenticated user's mobile device is controlled according to the authenticated user's charging profile and the one registered charging station's charge supply profile. Energy monitoring, movement tracking, energy prediction, user notification and energy allocation features are also included.

Abstract: A method, a computer program product, and a computer system for monitoring and enforcing an automated fee payment in an infrastructure. A mobile device on a verifier's vehicle monitors a record of a transaction of a payment on a distributed ledger. The payment is paid for using a service of the infrastructure and by a mobile device on an infrastructure user's vehicle. The mobile device on the verifier's vehicle captures information of the transaction of the payment and the infrastructure user's vehicle. The information is broadcasted by the mobile device on the infrastructure user's vehicle. The mobile device on the verifier's vehicle determines whether there is a valid transaction of the payment for the service. The mobile device on the verifier's vehicle sends a violation record to an offense reporting address of an infrastructure provider, in response to determining that there is no valid transaction of the payment.

Abstract: A mechanism is provided for parking space management of a managed parking structure. Information is received from a vehicle that has parked in the managed parking structure. The information from the vehicle is utilized to determine a probabilistic location of the vehicle within the managed parking structure. Responsive to determining the probabilistic location of the vehicle within the managed parking structure using the information from the vehicle, an occupied parking space evidence data structure is updated with a vehicle identifier of the vehicle as being associated with the location of the vehicle within the managed parking structure.

Abstract: A method for localizing the source of air pollution that includes receiving pollution data from a network in communication with at least one air pollution sensor that is connected to at least one motor vehicle in a stationary position. Each stationary motor vehicle of the network is positioned at a different air pollution measurement location. The method may further include determining from the pollution data an origin of an air pollutant using an air pollution model provided by a pollutant source localization device including at least one hardware processor.

Abstract: A method for localizing the source of air pollution that includes receiving pollution data from a network in communication with at least one air pollution sensor that is connected to at least one motor vehicle in a stationary position. Each stationary motor vehicle of the network is positioned at a different air pollution measurement location. The method may further include determining from the pollution data an origin of an air pollutant using an air pollution model provided by a pollutant source localization device including at least one hardware processor.

Abstract: A mechanism is provided for parking space management of a managed parking structure. Information is received from a vehicle that has parked in the managed parking structure. The information from the vehicle is utilized to determine a probabilistic location of the vehicle within the managed parking structure. Responsive to determining the probabilistic location of the vehicle within the managed parking structure using the information from the vehicle, an occupied parking space evidence data structure is updated with a vehicle identifier of the vehicle as being associated with the location of the vehicle within the managed parking structure.

Abstract: Techniques are disclosed for controlling robot pixels to display a visual representation of an input. The input to the system could be an image of a face, and the robot pixels deploy in a physical arrangement to display a visual representation of the face, and would change their physical arrangement over time to represent changing facial expressions. The robot pixels function as a display device for a given allocation of robot pixels. Techniques are also disclosed for distributed collision avoidance among multiple non-holonomic robots to guarantee smooth and collision-free motions. The collision avoidance technique works for multiple robots by decoupling path planning and coordination.

Abstract: Techniques are disclosed for controlling robot pixels to display a visual representation of an input. The input to the system could be an image of a face, and the robot pixels deploy in a physical arrangement to display a visual representation of the face, and would change their physical arrangement over time to represent changing facial expressions. The robot pixels function as a display device for a given allocation of robot pixels. Techniques are also disclosed for distributed collision avoidance among multiple non-holonomic robots to guarantee smooth and collision-free motions. The collision avoidance technique works for multiple robots by decoupling path planning and coordination.