Neonatal intensive care units (NICUs), like other intensive care units, are intended to provide immediate responses to any change in the patient's condition. Patient-monitorin...
Yuval Bitan, Joachim Meyer, David Shinar, Ehud Zmo...
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
: Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context data and adapting systems behaviour accordingly. Especial...
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
Content based image retrieval is an active research area of pattern recognition. A new method of extracting global texture energy descriptors is proposed and it is combined with fe...