In healthcare organizations, clinical workflows are executed by interdisciplinary healthcare teams (IHTs) that operate in ways that are difficult to manage. Responding to a need t...
Occlusions generally become apparent when integrated over time because violations of the brightnessconstancy constraint of optical flow accumulate in occluded areas. Based on this...
Two curves which are close together in an image are indistinguishable given a measurement, in that there is no compelling reason to associate the measurement with one curve rather ...
This paper presents two criteria for the termination of tree automata completion. Tree automata completion is a technique for computing a tree automaton recognizing or over-approx...
Many software systems today are configurable. Analyzing configurable systems is challenging, especially as (1) the number of system variants may grow exponentially with the numb...
Abstract. The set of primitive vectors on large spheres in the euclidean space of dimension d ≥ 3 equidistribute when projected on the unit sphere. We consider here a refinement...