Sciweavers

347 search results - page 49 / 70
» Improving Separation of Concerns in the Development of Scien...
Sort
View
HCI
2007
15 years 3 months ago
Closed-Loop Adaptive Decision Support Based on Automated Trust Assessment
This paper argues that it is important to study issues concerning trust and reliance when developing systems that are intended to augment cognition. Operators often under-rely on t...
Peter-Paul van Maanen, Tomas Klos, Kees van Dongen
111
Voted
SIAMIS
2010
123views more  SIAMIS 2010»
15 years 10 days ago
Numerical Algorithms for Polyenergetic Digital Breast Tomosynthesis Reconstruction
Digital tomosynthesis imaging is becoming increasingly significant in a variety of medical imaging applications. Tomosynthesis imaging involves the acquisition of a series of proj...
Julianne Chung, James G. Nagy, Ioannis Sechopoulos
148
Voted
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 6 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
IPPS
2003
IEEE
15 years 7 months ago
Agent-Based Grid Load Balancing Using Performance-Driven Task Scheduling
Load balancing is a key concern when developing parallel and distributed computing applications. The emergence of computational grids extends this problem, where issues of cross-d...
Junwei Cao, Daniel P. Spooner, Stephen A. Jarvis, ...
72
Voted
IPPS
2008
IEEE
15 years 8 months ago
Introducing gravel: An MPI companion library
A non-trivial challenge in high performance, cluster computing is the communication overhead introduced by the cluster interconnect. A common strategy for addressing this challeng...
Anthony Danalis, Aaron Brown, Lori L. Pollock, D. ...