Sciweavers

685 search results - page 84 / 137
» Closure Operators for Order Structures
Sort
View
DSOM
2000
Springer
15 years 6 months ago
Middleware Platform Management Based on Portable Interceptors
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...
Olaf Kath, Aart van Halteren, Frank Stoinski, Maar...
IFIP
1998
Springer
15 years 6 months ago
On the architecture of software component systems
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
M. Franz
CPAIOR
2006
Springer
15 years 6 months ago
AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
PTS
2007
112views Hardware» more  PTS 2007»
15 years 3 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
VMV
2003
152views Visualization» more  VMV 2003»
15 years 3 months ago
Bone Segmentation in CT Angiography Data Using a Probabilistic Atlas
Automatic segmentation of bony structures in CT angiography datasets is an essential pre-processing step necessary for most visualization and analysis tasks. Since traditional den...
Matús Straka, Alexandra La Cruz, Arnold K&o...