Sciweavers

9231 search results - page 1760 / 1847
» informs 2008
Sort
View
DGCI
2008
Springer
15 years 1 months ago
Selection of Local Thresholds for Tomogram Segmentation by Projection Distance Minimization
Abstract. Segmentation is an important step to obtain quantitative information from tomographic data sets. To this end, global thresholding is often used in practice. However, it i...
Kees Joost Batenburg, Jan Sijbers
DSVIS
2008
Springer
15 years 1 months ago
Multi-fidelity User Interface Specifications
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
Thomas Memmel, Jean Vanderdonckt, Harald Reiterer
ECAI
2008
Springer
15 years 1 months ago
Heuristics for Dynamically Adapting Propagation
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
Kostas Stergiou
EDCC
2008
Springer
15 years 1 months ago
A Distributed Approach to Autonomous Fault Treatment in Spread
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...
Hein Meling, Joakim L. Gilje
ESOP
2008
Springer
15 years 1 months ago
A Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
Cédric Fournet, Nataliya Guts, Francesco Za...
« Prev « First page 1760 / 1847 Last » Next »