Abstract: A method, system and computer program product, the method comprising: obtaining a first multiplicity of images from an overhead capture device overlooking a body of water; detecting a swimmer in some of the images, wherein the swimmer is outside the body of water or separated from other swimmers; determining two descriptors of the person, based on the images, the first descriptor related to a portion of the swimmer outside the water, the second related to a portion inside the water, the descriptors determined upon visual characteristics extracted from the images; obtaining a second multiplicity of images from the device; and tracking the swimmer in the second multiplicity of images, said tracking comprises detecting the swimmer using either descriptor, said detecting the swimmer is performed with respect to an image from the second multiplicity of images in which the swimmer is partially occluded by other swimmers or adjacent to other swimmers.

Abstract: A method, system and computer program product, the method comprising: obtaining a multiplicity of images taken by one or more overhead capture devices overlooking a body of water having a surface; detecting a person depicted in at least some images from the multiplicity of images; determining for images in the images, whether the image depicts the person in substantially vertical position in the at least some images said determining performed upon one or more characteristics extracted from each image; and subject to determining that the person is not in substantially vertical position in the at least some images, taking an action.

Abstract: A system, a computerized apparatus and a method for drowning detection based on swimmer analytics. The method comprises obtaining a visual input cameras observing a water area and analyzing each swimmer in the water area based on the visual input. Said analyzing comprises determining a risk level of each swimmer, whereby a first risk level is determined for a first swimmer and a second risk level is determined for a second swimmer, wherein the first risk level is higher than the second risk level; and automatically detecting potential drowning events for each swimmer. Said automatically detecting is performed by utilizing computational resources in a non-uniform manner. Said automatically detecting comprises applying increased computational resources with respect to the first swimmer, and applying reduced computational resources with respect to the second swimmer. The increased computational resources are higher than the reduced computational resources.

Abstract: A method, system and computer program product, the method comprising: obtaining a first multiplicity of images from an overhead capture device overlooking a body of water; detecting a swimmer in some of the images, wherein the swimmer is outside the body of water or separated from other swimmers; determining two descriptors of the person, based on the images, the first descriptor related to a portion of the swimmer outside the water, the second related to a portion inside the water, the descriptors determined upon visual characteristics extracted from the images; obtaining a second multiplicity of images from the device; and tracking the swimmer in the second multiplicity of images, said tracking comprises detecting the swimmer using either descriptor, said detecting the swimmer is performed with respect to an image from the second multiplicity of images in which the swimmer is partially occluded by other swimmers or adjacent to other swimmers.

Abstract: A method, system and computer program product, the method comprising: obtaining a multiplicity of images taken by one or more overhead capture devices overlooking a body of water having a surface; detecting a person depicted in at least some images from the multiplicity of images; determining for images in the images, whether the image depicts the person in substantially vertical position in the at least some images said determining performed upon one or more characteristics extracted from each image; and subject to determining that the person is not in substantially vertical position in the at least some images, taking an action.

Abstract: Distributed fiber sensing system including a laser source, a circulator, a detector and an optical fiber, the circulator coupled with the laser source, the detector and the optical fiber, the laser source for generating at least two ultra-narrow linewidth interrogating pulses, the detector having a predetermined detection bandwidth for detecting back-scattered signals, the laser source including an ultra-narrow linewidth laser and a modulator, coupled with the ultra-narrow linewidth laser and the circulator, the modulator generating a plurality of pairs of interrogating pulses having a time delay, a frequency difference between two pulses of the same interrogating pair being less than the predetermined detection bandwidth and a frequency difference between two pulses not of the same interrogating pair being larger than the predetermined detection bandwidth, wherein the optical fiber can be characterized based on beat-notes between back-scattered signals originating from the pair of interrogating pulses detect

Abstract: A system, a computerized apparatus and a method for drowning detection based on swimmer analytics. The method comprises obtaining a visual input cameras observing a water area and analyzing each swimmer in the water area based on the visual input. Said analyzing comprises determining a risk level of each swimmer, whereby a first risk level is determined for a first swimmer and a second risk level is determined for a second swimmer, wherein the first risk level is higher than the second risk level; and automatically detecting potential drowning events for each swimmer. Said automatically detecting is performed by utilizing computational resources in a non-uniform manner. Said automatically detecting comprises applying increased computational resources with respect to the first swimmer, and applying reduced computational resources with respect to the second swimmer. The increased computational resources are higher than the reduced computational resources.

Abstract: A method includes receiving a signal, which includes reflections of multiple pulses from one or more targets (24). A Doppler focusing function, in which the reflections of the multiple pulses from each target accumulate in-phase to produce a respective peak associated with a respective delay and a respective Doppler frequency of the target, is evaluated based on the received signal. Respective delays and Doppler frequencies of the targets are estimated based on the Doppler focusing function.

Abstract: Distributed fiber sensing system including a laser source, a circulator, a detector and an optical fiber, the circulator coupled with the laser source, the detector and the optical fiber, the laser source for generating at least two ultra-narrow linewidth interrogating pulses, the detector having a predetermined detection bandwidth for detecting back-scattered signals, the laser source including an ultra-narrow linewidth laser and a modulator, coupled with the ultra-narrow linewidth laser and the circulator, the modulator generating a plurality of pairs of interrogating pulses having a time delay, a frequency difference between two pulses of the same interrogating pair being less than the predetermined detection bandwidth and a frequency difference between two pulses not of the same interrogating pair being larger than the predetermined detection bandwidth, wherein the optical fiber can be characterized based on beat-notes between back-scattered signals originating from the pair of interrogating pulses detect

Abstract: A method includes receiving a signal, which includes reflections of multiple pulses from one or more targets (24). A Doppler focusing function, in which the reflections of the multiple pulses from each target accumulate in-phase to produce a respective peak associated with a respective delay and a respective Doppler frequency of the target, is evaluated based on the received signal. Respective delays and Doppler frequencies of the targets are estimated based on the Doppler focusing function.

Abstract: A method for simplifying resolution proofs in DAG format where each leaf node represents a clause and each internal node represents a resolution between its children includes representing a SAT proof as a stripped proof, analyzing pivots to identify redundant resolutions, and constructing a simplified proof without the redundant resolutions.

Abstract: The present embodiment keeps track of a set of resolution required for generating each one of the clauses added by the simplification Method. This information is used by the method that generates the unsat core in order to extract the original clauses that generated the simplified clauses. This work integrates resolution based CNF simplification technique inside the SAT-based abstraction refinement scheme in a unique way that overcomes the difficulties.

Abstract: The present embodiment keeps track of a set of resolution required for generating each one of the clauses added by the simplification method. This information is used by the method that generates the unsat core in order to extract the original clauses that generated the simplified clauses. This work integrates resolution based CNF simplification technique inside the SAT-based abstraction refinement scheme in a unique way that overcomes the difficulties.