Sciweavers

4166 search results - page 414 / 834
» Automating the constraining process
Sort
View
KR
2004
Springer
15 years 10 months ago
On Merging Strategy-Proofness
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...
Patricia Everaere, Sébastien Konieczny, Pie...
ASPDAC
2004
ACM
96views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Rate analysis for streaming applications with on-chip buffer constraints
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...
Alexander Maxiaguine, Simon Künzli, Samarjit ...
FIW
2003
115views Communications» more  FIW 2003»
15 years 6 months ago
Generalising Feature Interactions in Email
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]...
Muffy Calder, Alice Miller
ICIP
2006
IEEE
16 years 6 months ago
Ultrasound Myocardial Tracking with Speckle Reducing Anisotropic Diffusion Assisted Initialization
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...
ICIP
2002
IEEE
16 years 6 months ago
Reliable and fast structure-oriented video noise estimation
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...
Aishy Amer, Eric Dubois, Amar Mitiche