Sciweavers

5722 search results - page 983 / 1145
» Dynamic inference control
Sort
View
121
Voted
SCALESPACE
2005
Springer
15 years 9 months ago
Stabilised Nonlinear Inverse Diffusion for Approximating Hyperbolic PDEs
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
Michael Breuß, Thomas Brox, Thomas Sonar, Jo...
168
Voted
SELMAS
2005
Springer
15 years 9 months ago
Characterization and Evaluation of Multi-agent System Architectural Styles
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
Paul Davidsson, Stefan J. Johansson, Mikael Svahnb...
108
Voted
SEMWEB
2005
Springer
15 years 9 months ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...
115
Voted
SSS
2005
Springer
15 years 9 months ago
Memory Management for Self-stabilizing Operating Systems
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
Shlomi Dolev, Reuven Yagel
115
Voted
TGC
2005
Springer
15 years 9 months ago
A General Name Binding Mechanism
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
Michele Boreale, Maria Grazia Buscemi, Ugo Montana...