Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
In this paper we present an adaptive but robust object
detector for static cameras by introducing classifier grids.
Instead of using a sliding window for object detection we
pro...
Peter M. Roth, Sabine Sternig, Helmut Grabner, Hor...
In this paper, we present a novel adaptive thresholding technique based upon an anisotropic diffusionmodel, whichmay be referred to as the anti-geometric heat flow. In contrast to...
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
Hubert Pham, Justin Mazzola Paluska, Umar Saif, Ch...