Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
Cardiac parameters such as end-systolic volume, ejection fraction and myocardial mass are essential to the diagnosis and treatment of cardiovascular disease (CVD). Traditionally, ...
Alla Aksel, Robert L. Janiczek, John A. Hossack, B...
The purpose of this paper is to introduce a fast automated whitenoise estimation method which gives reliable estimates in images with smooth and textured areas. This method is a b...